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