On Sun, Sep 11, 2016 at 11:30 PM, <[email protected]> wrote:
> Hey, welcome: > > 1) Once the kernel boots, the control is given to a root task which we > define. Does this root task have > Nice summary! Has anyone done a compare and contrast with the classic Unix "init" process and the root tasks in use now? An obvious point is this root task need not be an equivalent of init and a number of inventive and creative OS models can build from there. -- T o m M i t c h e l l
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
