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