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