> In general, a high-availability system should have the following > software services > I want to develop a high-availability system on seL4, can anyone > give me some suggestions?
Does that have to all be in the OS? To what degree could it be a library independed of OS? _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
