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