12 Jun
2015
12 Jun
'15
7:11 a.m.
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?