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