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