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