[seL4] Re: Is the project port Minix 3 to run on seL4 already in work?

On 19 Aug 2021, at 16:35, christian.sagstetter--- via Devel 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