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