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