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