somehal 0.4.7

Boot kernel code with mmu.
Documentation