Fixes to get linux booting.

chipsalliance / dromajo

RISC-V RV64GC emulator designed for RTL co-simulation

Apache License 2.0

210 stars 63 forks source link

Fixes to get linux booting. #15

Closed ss2783 closed 4 years ago

ss2783 commented 4 years ago

This commit fixes the interrupt handling in cosim vs. standalone mode. And also handles the clint reads/writes correctly. Also, passes plic/clint parameters into dtb properly

Linux is now booting.

Adds a "cosim" boolean that only checks the dut raised interrupts in cosim mode and otherwise ignores the dut marked pending interrupt checks.
Fixes the masks used for clint reads and writes.

abejgonzalez commented 4 years ago

Seems good to me. Thanks for the fix!

et-tommythorn commented 4 years ago

Thanks Shreesha. Sorry for the hold-up but I’m still working in setting up regressions so we can catch divergences more readily. I guess this change doesn’t have to wait for that so I’ll review it tomorrow.

et-tommythorn commented 4 years ago

Ok, we decided to push it as-is as it fixes the Linux regression and the issues I raised to be addressed independently. Thanks.