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