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