Linux Kernel Liquorix Mesos Kernel XNU (X is Not Unix) Litmus-RT - a realtime extension of the Linux kernel