On Tue, 22 Jul 2025, Alejandro Vallejo wrote: > It's meant to be usable by anyone with CONFIG_DOM0LESS_BOOT. > > While moving, replace an inclusion of public/domctl.h by a forward > declaration. > > Signed-off-by: Alejandro Vallejo <[email protected]>
Acked-by: Stefano Stabellini <[email protected]>
