Tim Hutt

I think it would be worth clarifying somewhere whether Wokwi sends code to your servers or not if you *don't* buy the offline feature. Your privacy policy doesn't say anything...

Very helpful thanks! Though I'm not sure you can "leave questions open" in your privacy policy. If you don't say you are using some data then you aren't allowed to...

> Assuming grain size of 4 bytes and a cache line of 64 bytes divided into 2 contiguous PMP regions of 32 bytes each with same access permissions (say L=0...

No problem at all! This looks ready to merge to me now. @billmcspadden-riscv do you want to do the honours or would I be ok to merge non-risky PRs like...

@jrtc27 any chance you could take another look at this? To refresh your memory, you pointed out that the disassembly direction of the mapping accepted too-large literals, but it turned...

I agree, I think uploading the generated C would be a good first move. Then all you need is a C compiler and libgmp which is not that hard to...

I am going to fix this. For memory reads I think it isn't too bad to solve. I will just change the code to a single `mem_read()` that takes a...

> Note that the spec doesn't require that the write to the 2 halves appear in a particular order, nor that an exception caused by one or the other, prevents...

One other question @PeterSewell - why does `mem_write_ea()` do an alignment check? I still don't really understand the exact conditions under which it is expected to be called. Btw -...

> Why can't you treat it as two independent accesses? Probably isn't clear without seeing my code but the PMP checks were being done within the functions that do the...