update

[l4.git] / l4 / mk / defconfig / config.amd64

diff --git a/l4/mk/defconfig/config.amd64 b/l4/mk/defconfig/config.amd64
index 4b8142120726e6828617d5ee3a48ac57a3eb0274..328deaa0d9235b3dc63583746e84e6e87eacf194 100644 (file)
--- a/l4/mk/defconfig/config.amd64
+++ b/l4/mk/defconfig/config.amd64
@@ -9,7 +9,6 @@ CONFIG_BUILD_ARCH_amd64=y
 CONFIG_BUILD_ARCH="amd64"
 CONFIG_BUILD_ABI_l4f=y
 CONFIG_BUILD_ABI="l4f"
-# CONFIG_CPU_X86_GENERIC is not set
 # CONFIG_CPU_X86_586 is not set
 # CONFIG_CPU_X86_PENTIUM is not set
 # CONFIG_CPU_X86_PENTIUMMMX is not set