Comment 26 for bug 204133

If /host cannot be remounted (as it seems) a solution might be to modify /etc/init.d/reboot so that if a root or a host filesystem in rw mode is detected, it will create a ram disk with /sbin/reboot and any other file that might be required at that stage, unmount / and /host, and reboot. Colin, was that what you hinted at on IRC? Would something like that be reasonable?