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