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