Simplifies boot.s using cps instructions instead of msr / mrs.
Merge branch 'dev' into compilation
Makefile: launches 'default.gdb' by default when running 'make run'
Merge branch 'compilation' into dev
Refactors assembly functions into #define inline ASM for performance
Lets kernel_main call 'kernel_scheduler_yield_noreturn' with default idle_process.
Lets IRQ exception branch to 'kernel_scheduler_handler'
Enables System timer and mailbox IRQ source.
Simplifies 'kernel_scheduler_yield_noreturn' using rfe instruction
Enhances GPIO library
Merge branch 'dev' into compilation
Makefile: Changes qemu machine 'versatilepb' into 'raspi' fixing timer bugs.
Makefile: Adds new %.gdb generic rule to launch different GDB scripts.
Merge branch 'compilation' into dev bringing %.gdb rule and fixing qemu timer bug.