On Mon, Dec 11, 2023 at 10:22:18AM +0100, Emile `iMil' Heitor wrote: > Or would you prefer the same kernel to be able to boot in both XENPVH and > GENPVH modes? I am focusing on making the resulting kernel smaller but this > could be done also.
Can you use a separate entry point and optimize the kernel size #if defined(GENPVH) && !defined(XEN) or something like that? Martin
