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