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

On 8/19/21, 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. best christian

I'm not aware of anybody actually working on porting Minix to seL4, but I am working on my own OS https://gitlab.com/uxrt/ that is sort of similar in concept in that it is a multi-server Unix-like system, although it will look more like QNX than Minix. The reason I didn't port Minix was because I want to make a system that is more progressive (many legacy Unix features will be reimplemented on top of more general APIs or occasionally discarded outright), whereas Minix is more like a direct reimplementation of conventional Unix as a multi-server OS.

Currently I am just finishing up the memory allocation subsystem (I just finished the heap allocator and all that remains is to add a slab wrapper on top of the existing UTSpace allocator and tie up a few loose ends related to documentation and warnings), and up next are mutexes and the IPC transport layer.