Dear all,
I see that in the default l4linux configuration, it uses ned, moe to start up. However, I am not sure about the run-time interaction between them. More specifically,
a. Does l4linux need them during its run-time? For example, does l4linux go directly to sigma0 for memory or does it go through ned?
b. Do ned and moe get killed once they start l4linux or not?
Thanks,
ramya
