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