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