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