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