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