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
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
