24.16. gem5 build options
In order to use different build options, you might also want to use gem5 build variants to keep the build outputs separate from one another.
In order to use different build options, you might also want to use gem5 build variants to keep the build outputs separate from one another.