Merge branch 'compilation' into dev bringing %.gdb rule and fixing qemu timer bug.
Implements 'kernel_scheduler_handler'.
Implements 'kernel_pcb_remove_turnstile'
Implements 'kernel_pcb_create' and 'kernel_pcb_bigbang'.
Lets kernel_main create 'init' process.
Simple Round Robin scheduler working with led blinking!
Refactors and enhances comments.
Factorizes 'kernel_scheduler_handler' code.
Implements 'kernel_scheduler_yield'.
Begins implementation of 'kernel_pcb_sleep'.
Splits 'kernel_pcb' module into 'kernel_pcb' and 'kernel_pcb_turnstile'.
Renames some functions in 'kernel_pcb_turnstile' module.
Implements 'kernel_pcb_turnstile_sorted_insert'.
Lets 'kernel_scheduler_init' initialize new 'kernel_turnstile_sleeping'.
Completes implementation of 'kernel_pcb_sleep'.
Implements 'kernel_pcb_turnstile_popfront'.
Wakes up sleeping processes in 'kernel_scheduler_elect'.
Implements 'api_process_sleep'.
Corrects few bugs about new passive sleep feature.
Reorganizes 'pdfs' folder into 'doc'.