somehal 0.4.12

Boot kernel code with mmu.
Documentation