Tool/software: Linux
I'm working with BeagleBone Black with AM335x 1GHz ARM® Cortex-A8 on board.
Due to hard real-time requirenments, I've patched kernel 4.9.69 (from SDK v.04.03.00.05) by xenomai 3.0.6.
Xenomai patch source: https://xenomai.org/downloads/ipipe/v4.x/arm/ipipe-core-4.9.51-arm-4.patch