machine, mentry.S: fix not receiving IPI for other harts (#38)
* Before waiting for IPI by executing wfi instruction, MSIE bit should be set in mie CSR for other harts, else they will get stuck at the wfi instruction.
parent
8006d004
Please register or sign in to comment