ref: 2875ba6105bdd0e37bd827e1c96870f75ea8e85d dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot