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