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