ref: a698ba120adb4b4149d412a2befe00b6570f252a dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot