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