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