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