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