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