diff options
author | Andrew Waterman <andrew@sifive.com> | 2019-11-12 16:57:10 -0800 |
---|---|---|
committer | Andrew Waterman <andrew@sifive.com> | 2019-11-12 18:17:23 -0800 |
commit | 8ffefbc9a1f7730d14a2f694906bcc681cbca2e5 (patch) | |
tree | 4ddbd6759b51f7bf2427db7d45bbdf9f9daa541e /config.h.in | |
parent | 24e587d43315dabaac2b7b8a631d459fc12f3f14 (diff) | |
download | spike-8ffefbc9a1f7730d14a2f694906bcc681cbca2e5.zip spike-8ffefbc9a1f7730d14a2f694906bcc681cbca2e5.tar.gz spike-8ffefbc9a1f7730d14a2f694906bcc681cbca2e5.tar.bz2 |
Add --priv option to control which privilege modes are available
Diffstat (limited to 'config.h.in')
-rw-r--r-- | config.h.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/config.h.in b/config.h.in index e82156d..4f7f39f 100644 --- a/config.h.in +++ b/config.h.in @@ -6,6 +6,9 @@ /* Default value for --isa switch */ #undef DEFAULT_ISA +/* Default value for --priv switch */ +#undef DEFAULT_PRIV + /* Default value for --vector switch */ #undef DEFAULT_VARCH |