Kernel Initialization

The kernel is the minimal ChorusOS operating system comprising the microkernel and the built-in drivers.

The bootstrap program starts the microkernel. The microkernel then starts the built-in drivers.