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