From 530ec3115f70df2aef76ebc843aa0c51558aec94 Mon Sep 17 00:00:00 2001 From: Alexander Boettcher Date: Wed, 7 Jun 2023 11:35:24 +0200 Subject: [PATCH] sel4/x86: remove Nehalem kernel config adjustment since the used Genode Qemu model now supports it. --- repos/base-sel4/lib/mk/spec/x86_64/kernel-sel4-pc.mk | 2 -- 1 file changed, 2 deletions(-) diff --git a/repos/base-sel4/lib/mk/spec/x86_64/kernel-sel4-pc.mk b/repos/base-sel4/lib/mk/spec/x86_64/kernel-sel4-pc.mk index ef86c55b71..bb38b30de4 100644 --- a/repos/base-sel4/lib/mk/spec/x86_64/kernel-sel4-pc.mk +++ b/repos/base-sel4/lib/mk/spec/x86_64/kernel-sel4-pc.mk @@ -37,8 +37,6 @@ configured_kernel: -e "/CONFIG_SUPPORT_PCID/d" \ -e "/CONFIG_XSAVE 1/d" \ -e "/CONFIG_XSAVE_XSAVEOPT 1/d" \ - -e "/CONFIG_ARCH_X86_NEHALEM 1/d" \ - -e "/CONFIG_KERNEL_X86_MICRO_ARCH nehalem/d" \ gen_config/kernel/gen_config.h >gen_config/kernel/gen_config.tmp \ && mv gen_config/kernel/gen_config.tmp gen_config/kernel/gen_config.h \ && touch configured_kernel