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