F9 microkernel built for ARM Cortex-M series with efficiency and memory protection in mind