ref: 4df9d68adbe0c85e93f62a7c05ea540c6da659c7 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot