Norman Feske said:
- 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.)
thx, ratko