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