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