L4Linux CONFIG_MTRR must not be enabled

Hi L4 hackers,

When I am building L4Linux https://l4linux.org/build.shtml

make O=build menuconfig

changed the L4 tree build directory, then Exit for saving to .config

make O=build

it thrown ERROR: CONFIG_XXX must not be enabled, then I edited 
build/.config to comment the CONFIG_XXX is not set, then

make O=build again, but it always thrown such error:

make[1]: Entering directory '/home/zhaixiang/project/l4linux/build'
===============================================
   For quick build instructions, please visit:
     http://wiki.tudos.org/Quickstart
     http://l4linux.org/build.shtml
===============================================

ERROR: CONFIG_MTRR must not be enabled.

ERROR: CONFIG_DMI must not be enabled.

ERROR: CONFIG_X86_SMAP must not be enabled.

arch/l4/Makefile:578: recipe for target 'check_linux_config' failed
make[1]: *** [check_linux_config] Error 1
make[1]: Leaving directory '/home/zhaixiang/project/l4linux/build'
Makefile:150: recipe for target 'sub-make' failed
make: *** [sub-make] Error 2

even I commented CONFIG_MTRR, CONFIG_DMI and CONFIG_X86_SMAP is not set, 
but rebuilt it again, the CONFIG_MTRR=y, are they requires by other 
modules? infinite dependence issue? so I simply changed the arch/l4/Makefile


Index: arch/l4/Makefile
===================================================================
--- arch/l4/Makefile    (revision 54)
+++ arch/l4/Makefile    (working copy)
@@ -557,9 +557,9 @@
  DIS_OPTS-arm-32 := PERF_EVENTS ARM_PATCH_PHYS_VIRT HIGHMEM \
                     DEBUG_RODATA DEBUG_ALIGN_RODATA
  DIS_OPTS := HIGHMEM4G HIGHMEM64G PCI_GOANY PCI_GOBIOS \
-            X86_MCE X86_MCE MTRR PARAVIRT KEXEC MCA SOFTWARE_SUSPEND APM \
-           CPU_FREQ VM86 X86_DS X86_PTRACE_BTS HT_IRQ DMI \
-           TRANSPARENT_HUGEPAGE COMPACTION X86_PAE ACPI X86_SMAP \
+            X86_MCE X86_MCE PARAVIRT KEXEC MCA SOFTWARE_SUSPEND APM \
+           CPU_FREQ VM86 X86_DS X86_PTRACE_BTS HT_IRQ \
+           TRANSPARENT_HUGEPAGE COMPACTION X86_PAE ACPI \
             M486 M586 M586TSC M586MMX PNP \
             X86_16BIT MICROCODE \
             $(DIS_OPTS-$(BASEARCH)-$(BITS))


it is monkey patch, please give me some advice, thanks a lot!

-- 
Regards,
Leslie Zhai - a LLVM hacker https://reviews.llvm.org/p/xiangzhai/

_______________________________________________
l4-hackers mailing list
[email protected]
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers