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