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