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