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