Hardware/Qemu/index.md is out of date
kent-mcleod opened this issue · comments
https://github.com/SEL4PROJ/docs/blob/master/Hardware/Qemu/index.md needs to be updated to reflect current project structure and build system commands
Fixed in commit 44f0df2