Alexander Richardson

I think it would be very useful to land this so we have a way of enforcing a minimum version of sail and won't see any more issues filed due...

> Perhaps to avoid janky Bash scripts Sail could do this check itself, something like `--min-version 0.17` and it exits with a non-zero exit code if it is less than...

I like @Timmmm's suggestion, but I think we should really land some kind of version check soon. No need to wait for a perfect solution if we can fix the...

Sounds like this needs a new sail version? Would be good if there was a new sail release soon (@Alasdair is this planned soon?) and we can add a version...

We already have `ext_data_get_addr` which can be used for the CHERI DDC hooks and I presume should also apply in all these cases for pointer masking. I recall the virtual...

> Regarding the comment on @jrtc27 and @Timmmm of implementing Pointer Masking in `translateAddr()`, I would say that pointer masking is different than virtual address translation, this implementation is efficient...

The description of this PR says prefetch is supported, but I don't see any Zicbop support in the code? Maybe that got lost while splitting up the files?

I've accidentally rebased after doing a subrepo push/pull a few times and then getting weird failures the next time I try to update. Having a meaningful error message would be...

@admorgan Do you have an example repository where this OOM situation occurs? Maybe it only happens with specific git versions so we could use a version check to enable index-filter?...

For me, the other step that takes a long time when I use `git subrepo push` it's the `Create new commits with parents into the subrepo fetch` step. This takes...