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