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