On Wed, 11 May 2022, Julien Grall wrote: > > If dom0 is mandatory yes, we should still make sure that this code cannot be > > reached so an ASSERT would be nice here at least in case someone tries to > > activate this code without dom0 (which might happen when we will push the > > serie for static event channels). > > I am fine with an ASSERT().
I added an ASSERT(hardware_domain).