On 19 Aug 2021, at 16:35, christian.sagstetter--- via Devel <devel@sel4.systems> wrote: > > hello everyone, I would be interested in the project and wanted to know if it > is already being worked on.
Can you clarify what you mean with that? Do you mean porting the Minix servers to seL4, replacing the Minix-3 microkernel? We had a student project on this many years ago, from vague memory it got to about “this should be feasible”, I don’t think it produced anything actually usable. Gernot _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
