diff --git a/README.md b/README.md index 78050a2..a97377e 100644 --- a/README.md +++ b/README.md @@ -14,11 +14,23 @@ The binary must be installed as `/init` and nothing else. $ make install DESTDIR= -## Update +## Update & reboot When your system is running with `/init` you don't need any extra tool to do an update. Just put the new kernel at `/kernel` and `/init` will automatically kexec it after the `/etc/reboot` stage. +If you want to update your system in the usual way (pxe, efi,...) you need a cold reboot: + + $ touch /reboot + $ reboot + +With `reboot` a script that stops your supervisor. For example with `runit`: + + $ cat /bin/reboot + #!/bin/sh + + exec pkill -HUP runsvdir + ## Configuration Only two files are needed, for example: