Micro Kernel (arm arch.)