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