Added support for memspaces and const. Added an interrupt masking to the "giet_context_switch" syscall Corrected two bugs in boot/boot_init.c (one minor and one regarding barriers initialization) Reformatted the code in all files.