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