On 8/19/21, 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. > 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. _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
