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