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