Hi Lopzek All the documentation moved from wiki.sel4.systems to docs.sel4.systems.
Memory management info is in the FAQ there and https://docs.sel4.systems/projects/sel4/documentation.html Peter C -- Dr Peter Chubb https://trustworthy.systems/ Trustworthy Systems Group CSE, UNSW Core hours: Mon 8am-3pm; Wed: 8am-5pm; Fri 8am-12pm. _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
