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