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