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