]> rtime.felk.cvut.cz Git - l4.git/blobdiff - l4/mk/defconfig/config.x86
update
[l4.git] / l4 / mk / defconfig / config.x86
index 72ebddad2c702378301e88b486307e175393c551..8faa4277a4d85c346450219a654955ce53b53082 100644 (file)
@@ -9,7 +9,6 @@ CONFIG_BUILD_ARCH_x86=y
 CONFIG_BUILD_ARCH="x86"
 CONFIG_BUILD_ABI_l4f=y
 CONFIG_BUILD_ABI="l4f"
-# CONFIG_CPU_X86_GENERIC is not set
 CONFIG_CPU_X86_586=y
 # CONFIG_CPU_X86_PENTIUM is not set
 # CONFIG_CPU_X86_PENTIUMMMX is not set