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