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