I am trying to build l4linux. Version of l4linux - 3.16.0 I am using fiasco.oc and l4re
I configured using the command : sudo make O=build/kernel menuconfig and changed the path to l4re build directory in l4linux configuration.
The following errors come when I build it.
user@user-VirtualBox:~/src/l4re/src/l4linux$ sudo make O=build/kernel
make[1]: Entering directory `/home/user/src/l4re/src/l4linux/build/kernel'
GEN ./Makefile
scripts/kconfig/conf --silentoldconfig Kconfig
===============================================
For quick build instructions, please visit:
http://wiki.tudos.org/Quickstart
http://l4linux.org/build.shtml
===============================================
ERROR: CONFIG_HIGHMEM64G must not be enabled.
ERROR: CONFIG_PCI_GOANY must not be enabled.
ERROR: CONFIG_X86_MCE must not be enabled.
ERROR: CONFIG_X86_MCE must not be enabled.
ERROR: CONFIG_MTRR must not be enabled.
ERROR: CONFIG_PARAVIRT must not be enabled.
ERROR: CONFIG_KEXEC must not be enabled.
ERROR: CONFIG_CPU_FREQ must not be enabled.
ERROR: CONFIG_VM86 must not be enabled.
ERROR: CONFIG_HT_IRQ must not be enabled.
ERROR: CONFIG_DMI must not be enabled.
ERROR: CONFIG_TRANSPARENT_HUGEPAGE must not be enabled.
ERROR: CONFIG_COMPACTION must not be enabled.
ERROR: CONFIG_X86_PAE must not be enabled.
ERROR: CONFIG_X86_SMAP must not be enabled.
ERROR: CONFIG_PNP must not be enabled.
ERROR: CONFIG_HPET_TIMER must not be enabled.
make[1]: *** [check_linux_config] Error 1
make: *** [sub-make] Error 2
I tried reconfiguring again to diable the features mentioned above. But I could not find the location of the above features in the menu-based window.
Please help to resolve the problem.
Gayathri
Hi,
On 01/21/2015 06:42 AM, Gayathri Nagarajan wrote:
I am trying to build l4linux. Version of l4linux - 3.16.0 I am using fiasco.oc and l4re
I configured using the command : sudo make O=build/kernel menuconfig and changed the path to l4re build directory in l4linux configuration.
Why do you use 'sudo' here? There is no need to build with super user privileges.
The following errors come when I build it.
The easiest way is to start with the x86-ux_defconfig. If you have succeeded building with that configuration you can enable more features you need.
user@user-VirtualBox:~/src/l4re/src/l4linux$ sudo make O=build/kernel
[...]
ERROR: CONFIG_HIGHMEM64G must not be enabled.
[...]
make[1]: *** [check_linux_config] Error 1
make: *** [sub-make] Error 2
I tried reconfiguring again to diable the features mentioned above. But I could not find the location of the above features in the menu-based window.
You can always search in the configuration dialog using '/'.
Matthias.
l4-hackers@os.inf.tu-dresden.de