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.) thx, ratko