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