]> git.ipfire.org Git - thirdparty/ipxe.git/commitdiff
[build] Mark Xen HVM files as permitted for UEFI Secure Boot
authorMichael Brown <mcb30@ipxe.org>
Fri, 13 Feb 2026 14:04:07 +0000 (14:04 +0000)
committerMichael Brown <mcb30@ipxe.org>
Fri, 13 Feb 2026 14:06:00 +0000 (14:06 +0000)
The Xen netfront driver and the core architecture-independent files
such as xenstore.c and xenbus.c are already marked as permitted for
UEFI Secure Boot, but the x86-specific HVM driver (which attaches to
the PCI device and instantiates the Xen devices) is not.

Review the HVM-specific files and mark them as permitted for UEFI
Secure Boot.

Signed-off-by: Michael Brown <mcb30@ipxe.org>
src/arch/x86/drivers/xen/hvm.c
src/arch/x86/drivers/xen/hvm.h
src/arch/x86_64/include/ipxe/msr.h
src/include/ipxe/xenmem.h
src/include/ipxe/xenver.h

index cf41cc95507beee4a338235ca8dbb9e3ae17aca9..4fbc1c001e5a7df398ba47f4e85b740bb0b3da10 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <stdio.h>
index 88e4908154682a00e70ace4598f665a451024330..730fc4f6b09ceac413cba3a26107f0629d8cb23d 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <ipxe/xen.h>
index 316243b69a24d66c99f970499f51578d372260e2..47612778218d5c47a28fd305069cfd54bdcb0aa2 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /**
  * Read model-specific register
index dcc38d460a486ea3d3a622146d382f29429c97a6..44eba7ba73149ac6250577828760ff070fd8c946 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/xen.h>
 #include <xen/memory.h>
index 5d820a6e708f31170b6cb4ea12d0654dffbf8fd6..6a1dd1278565cbd4b53d997146bba51cf4d430da 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/xen.h>
 #include <xen/version.h>