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