[osv-dev] [PATCH] build: support driver profiles

This patch introduces new build mechanism that allows creating custom kernel with specific list of device drivers intended to target given hypervisor. Such kernel benefits from smaller size and better security as all unneeded code is removed. This patch partially addresses the modularization/librar

[osv-dev] [PATCH] PVH boot: move the code to a separate file

This patch moves the PVH boot logic handling code out of xen.cc into a new file pvh-boot.cc. This is necessary to support building kernels with a specific set of device drivers. Signed-off-by: Waldemar Kozaczuk --- Makefile | 1 + arch/x64/pvh-boot.cc | 40 ++

[osv-dev] [PATCH] cpuid: make internal functions static

Signed-off-by: Waldemar Kozaczuk --- arch/x64/cpuid.cc | 8 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/arch/x64/cpuid.cc b/arch/x64/cpuid.cc index 45c0fea4..29bc8d6e 100644 --- a/arch/x64/cpuid.cc +++ b/arch/x64/cpuid.cc @@ -68,7 +68,7 @@ cpuid_bit cpuid_bits[] = {