diff --git a/lagarto-ox.nix b/lagarto-ox.nix index 636cc8e..7863535 100644 --- a/lagarto-ox.nix +++ b/lagarto-ox.nix @@ -332,6 +332,7 @@ ]; patches = [ ./opensbi-timer-debug.patch + ./opensbi-enable-meip.patch #./opensbi-dont-delegate.patch #./ox-alveo-platform-plic.patch ]; diff --git a/opensbi-enable-meip.patch b/opensbi-enable-meip.patch new file mode 100644 index 0000000..9121efc --- /dev/null +++ b/opensbi-enable-meip.patch @@ -0,0 +1,24 @@ +diff --git a/lib/sbi/sbi_irqchip.c b/lib/sbi/sbi_irqchip.c +index 0ae604a..dd4592a 100644 +--- a/lib/sbi/sbi_irqchip.c ++++ b/lib/sbi/sbi_irqchip.c +@@ -37,8 +37,7 @@ int sbi_irqchip_init(struct sbi_scratch *scratch, bool cold_boot) + if (rc) + return rc; + +- if (ext_irqfn != default_irqfn) +- csr_set(CSR_MIE, MIP_MEIP); ++ csr_set(CSR_MIE, MIP_MEIP); + + return 0; + } +@@ -47,8 +46,7 @@ void sbi_irqchip_exit(struct sbi_scratch *scratch) + { + const struct sbi_platform *plat = sbi_platform_ptr(scratch); + +- if (ext_irqfn != default_irqfn) +- csr_clear(CSR_MIE, MIP_MEIP); ++ csr_clear(CSR_MIE, MIP_MEIP); + + sbi_platform_irqchip_exit(plat); + }