ref: 93837692bbaab28e01ea1178d8867047bbcad11d dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot