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