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