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