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