Checked that paging was for sure working and it is. Attempting to access memory out of reach results in a page fault exception and the system halting. This can be shown by uncommenting the code in main.c