On Tue Jun 17, 2025 at 3:22 AM CEST, Daniel P. Smith wrote: > > 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
kernel_info is a big misnomer, which is why I originally typedeff'd it to bootdomain_t. Note however that at no point (in v3) does kernel_info reach x86. The header is effectively what was already in boot_domain, except it's common code now so the domid field (not yet included in dom0less) goes on an "arch" subfield. And x86 only uses that header and doesn't know or care about the rest. Cheers, Alejandro
