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