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