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