how-to questions

ratko ratko at
Tue Oct 10 08:55:03 CEST 2006

Norman Feske said:
>> 6. How do I halt L4 and DOpE?
> There is no graceful system shutdown implemented.
> Usually, we start DOpE via static boot-time GRUB
> configuration and halt it by rebooting the machine.

as adam has said that DOpE does not touch filesystem, rebooting seems ok.
(and if i halt linux application i can hear hard drive stop spinning.)


More information about the l4-hackers mailing list