How to create a Hello World seL4 project from scratch
-
Updated
Oct 17, 2020 - CMake
A kernel is the heart of almost every operating system. It is always loaded in memory at any time and deals with the hardware to provide an interface for the software. It also manages peripherals, memory, interrupts, and processes. Examples of widely used kernels include Windows NT and Linux.
How to create a Hello World seL4 project from scratch