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