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