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