On Tue, May 7, 2019, at 5:17 AM, Lucio De Re wrote: > Keep in mind where Minix-3 > lurks, before you discount it...
I didn't discount Minix-3 until I learned it's recently started using memory protection, and they're having trouble making it work with their IPC. I'll wait until they've got it sorted.
