Working on Timer interrupts; introduced logging functionality for registers; commented process_management.h stuff because of compile errors; up next: register timer interrupt in INTC subsystem