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