somehal 0.4.2

Boot kernel code with mmu.
Documentation