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