> On 8 Aug 2025, at 09.01, Mohamed Mediouni <moha...@unpredictable.fr> wrote: > > When using the vGIC, timers are directly handled by the platform. > No vmexits ought to happen in that case. Abort if reaching those code paths. > > Signed-off-by: Mohamed Mediouni <moha...@unpredictable.fr> > --- > target/arm/hvf/hvf.c | 3 +++ > 1 file changed, 3 insertions(+)
Makes good sense to verify this. Reviewed-by: Mads Ynddal <m...@ynddal.dk>