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