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