Haven’t watched the video yet. What is the kernel philosophy? Is it a mono or microkernel?