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