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