GIET_VM / Shared Kernel functions

The boot code and the kernel code are two separated compilation units, but some functions are used by both the boot code and the kernel code:

• 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 used by the kernel in the dynamic phase, to handle events such as interrupts, exceptions and syscalls.

CP0 registers access functions

CP2 registers access functions

Physical addressing functions

Locks access functions

TTY0 access functions

Task context access functions

Mapping access functions

Physical memory allocators

Virtual to physical address translation

Miscelaneous kernel functions?