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