Make HW setting of PTE A/D bits optional (by configure arg)
[riscv-isa-sim.git] / spike_main / spike_main.ac
1