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