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