= Kernel Utilities =

The [source:soft/giet_vm/giet_common/utils.c utils.c] and [source:soft/giet_vm/giet_common/utils.h util.h] files define useful kernel functions, that are used both by the boot_loader and by the kernel. 
They are prefixed by ''_'' to remind that they 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 and initialize the schedulers and the peripherals.
 * They are also used by the kernel in the ''dynamic'' phase, to handle events such as interrupts, exceptions and syscalls. 

 === CP0 and CP2 registers access functions ===

 These functions can be used to access the MIPS32 protected registers

 === Physical addressing functions ===



 === Miscelaneous functions ===