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