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