ref: 35ad7a7da54b7059b1f8cce32b3037ca9e68e46e dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot