ref: 21c9d0df17b48a54b6c76b7843f31f73d7eab073 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot