File tree Expand file tree Collapse file tree 1 file changed +13
-1
lines changed Expand file tree Collapse file tree 1 file changed +13
-1
lines changed Original file line number Diff line number Diff line change @@ -14,11 +14,23 @@ The binary must be installed as `/init` and nothing else.
1414
1515 $ make install DESTDIR=<PATH>
1616
17- ## Update
17+ ## Update & reboot
1818
1919When your system is running with ` /init ` you don't need any extra tool to do an update.
2020Just put the new kernel at ` /kernel ` and ` /init ` will automatically kexec it after the ` /etc/reboot ` stage.
2121
22+ If you want to update your system in the usual way (pxe, efi,...) you need a cold reboot:
23+
24+ $ touch /reboot
25+ $ reboot
26+
27+ With ` reboot ` a script that stops your supervisor. For example with ` runit ` :
28+
29+ $ cat /bin/reboot
30+ #!/bin/sh
31+
32+ exec pkill -HUP runsvdir
33+
2234## Configuration
2335
2436Only two files are needed, for example:
You can’t perform that action at this time.
0 commit comments