16 Dec
2018
16 Dec
'18
1:02 p.m.
I have not read the ukernel code, but I would imagine that most of the code needed to launch the multiple servers already exists, i.e. it is necessary to launch the root server. It may require re-factoring, of course. Right? It solves another immediate problem for me. I can develop the various servers without working on device drivers, I/O subsystem, ELF loader, etc. As for the OS architecture, I imagine many approaches are possible depending on the goals of the designer. The nice thing about seL4 is that it doesn't dictate any single approach. Thanks, Dave