somehal 0.4.0

Boot kernel code with mmu.
Documentation