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