On 6/13/25 11:13, Alejandro Vallejo wrote:
Create a struct header within kernel_info with the contents common to kernel_info and boot_domain, and define that header in common code. This enables x86 to use that header as-is and drop x86's boot_domain
IMHO kernel_info is an extremely poor name for this structure and hyperlauch attempt to resolve some of these less than optimal choices is being undone.
v/r, dps
