主机向领域呈现一个模拟的通用中断控制器(GIC)。模拟GIC的MMIO区域被映射到未受保护的IPA空间,使得领域的GIC驱动程序能够与之交互。在领域进入时,主机使用RMI注入虚拟中断到领域,这些中断使用GIC CPU接口呈现。使用GIC CPU接口加速中断处理,通过避免在一系列中断管理操作上trap到主机。
由于GIC仿真由不受信任的主机提供,领域不能依赖于正确的中断路由和优先级,也不能依赖于传入中断的有效性。出于这些原因,领域必须通过加强自身的中断处理子系统来保护自己,基于这样的假设,即GIC仿真是恶意的。