On 19 Aug 2021, at 16:35, christian.sagstetter--- via Devel <[email protected]> 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 -- [email protected] To unsubscribe send an email to [email protected]
