diff options
| author | Daniel Henrique Barboza <dbarboza@ventanamicro.com> | 2023-02-22 15:52:00 -0300 |
|---|---|---|
| committer | Palmer Dabbelt <palmer@rivosinc.com> | 2023-03-01 13:47:11 -0800 |
| commit | 09631441e5bdd164f737d4e10a4a0e3dcc1c90a7 (patch) | |
| tree | 915fa421bebd08d4189c920304e10da420aff1ff /linux-user/main.c | |
| parent | cdfb290569fc80e9fb07c86c6de8ae8068fba000 (diff) | |
| download | qemu-09631441e5bdd164f737d4e10a4a0e3dcc1c90a7.zip qemu-09631441e5bdd164f737d4e10a4a0e3dcc1c90a7.tar.gz qemu-09631441e5bdd164f737d4e10a4a0e3dcc1c90a7.tar.bz2 | |
target/riscv/cpu.c: error out if EPMP is enabled without PMP
Instead of silently ignoring the EPMP setting if there is no PMP
available, error out informing the user that EPMP depends on PMP
support:
$ ./qemu-system-riscv64 -cpu rv64,pmp=false,x-epmp=true
qemu-system-riscv64: Invalid configuration: EPMP requires PMP support
This will force users to pick saner options in the QEMU command line.
Signed-off-by: Daniel Henrique Barboza <dbarboza@ventanamicro.com>
Reviewed-by: Weiwei Li <liweiwei@iscas.ac.cn>
Reviewed-by: Bin Meng <bmeng@tinylab.org>
Reviewed-by: Andrew Jones <ajones@ventanamicro.com>
Reviewed-by: LIU Zhiwei <zhiwei_liu@linux.alibaba.com>
Message-ID: <20230222185205.355361-6-dbarboza@ventanamicro.com>
Signed-off-by: Palmer Dabbelt <palmer@rivosinc.com>
Diffstat (limited to 'linux-user/main.c')
0 files changed, 0 insertions, 0 deletions