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