Due to advancements in embedded hardware platforms, implementing subsystems of varying criticality levels on the same hardware platform is a trend for modern real-time systems. The Linux kernel is a common candidate for ...