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