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