Kernel Utilities

These kernel functions can only be executed by a processor in kernel mode.

• They are used by the boot-loader in the static phase, to build the page tables,

initialize the schedulers and initialize the peripherals.

• They are also used by the kernel in the dynamic phase, to handle events such

as interrupts, exceptions and syscalls.