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