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