Ditto. The Xenomai Linux co-kernel does too. Handy for CAN/etherCAT controllers