GIET-VM documentation

A) Mapping

B) Peripherals Drivers

C) Shared kernel functions

D) Boot-loader functions

E) Kernel functions

F) System calls?

G) User level libraries