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