sources:

• MMU code based on tutorial at https://www.snaums.de/informatik/mmu-on-raspberry-pi.html as well as 107e implementation in https://github.com/cs107e/cs107e.github.io/blob/master/cs107e/src/mmu.c
• Also referred to ARM reference, Broadcom manual, etc.
• shell_os from https://brennan.io/2015/01/16/write-a-shell-in-c/
• 'bad strtok' from shell branch is from https://aticleworld.com/implement-strtok-function-in-c/ 'good strtok,' and all associated bugs, in this branch is from masot :)
• Exokernel approach based on Engler et al., "Exokernel: An Operating System Architecture for Application-Level Resource Management"