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