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