Microkernel, system

Long-form notes from the EPOC64-NG project.