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