Dear Fellow Genodians-
I was reading through some blog notes from the latest RiscV workshop http://www.lowrisc.org/blog/2016/11/fifth-risc-v-workshop-day-one/ when I came across some suggestions relating to page table managment https://riscv.org/wp-content/uploads/2016/12/Wed1130-RISC-V-VM-threads-Minnich-Google.pdf contributed by folks on Berkeley's Akaros project http://akaros.cs.berkeley.edu/akaros-web/news.php..
a ways back, I recall a discussion relating redundant structure in the Genode OS... and wounder if the Akaro's projects thinking might also be of some use with Genode's support for VMs...
While I lack the perspective needed to appreciate the pro's and con's of this approach...and for that matter understand that Genode is more about a recursive OS API, than the page table map that might be found underneath.. It might be good for the Genode Team to chime in with Akaros as might relate to MMU systems for the RiscV project..
Anyone close to the iron care to chime in on this?
-Peter