On 18/01/2024 12:06 pm, Michal Orzel wrote: > At the moment, trying to run xencov read/reset (calling SYSCTL_coverage_op > under the hood) results in a crash. This is due to an attempt to > access code in the .init.* sections
Minor point, but for coverage it's only data. It's the per-basic-block counters. ~Andrew
