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