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