Yann Sionneau has given a talk about how he ported NetBSD and EdgeBSD kernel on the open source LatticeMico32 CPU for which he added a MMU at the EHSM Do-It-Yourself hacker meeting hosted by the DESY particule accelerator in Hamburg : https://archive.org/details/EHSM201405FrYannSionneauPortingNetBSDToTheLatticeMico32OpenSourceCPU