ref: 9d446410c5681235894f65d4e9c503fe4ad8b4a1 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot