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