SAMURAI Minimalist linux kernel optimized for real-time workloads. 100Hz PREEMPT_RT CONFIG_SMP disabled for single core VM's.