Overview
Tutorials
User Manual
Developers Manual
Appendix
Show OpenFPGA version information
Show help desk to list all the available commands
Exit OpenFPGA shell