Hello,
I want to compile just the seL4 kernel (5.2.0) and tried it by invoking:
alex@max:~/sel4.git$ ARCH=x86 PLAT=pc99 SEL4_ARCH=ia32 make
but the compile fails (attached below). Do I need to setup/configure
something beforehand ? It seems some defines are not set. The host is a
64bit Ubuntu 16.04 LTS.
Thanks,
Alex.
alex@max:~/sel4.git$ git log
commit 3695232f9603af60d56f97072082d90f30e98b0e
Author: Kent McLeod
Date: Wed May 31 17:21:29 2017 +1000
update VERSION file to 5.2.0
alex@max:~/sel4.git$ ARCH=x86 PLAT=pc99 SEL4_ARCH=ia32 make
[MKDIR] arch/object
[PBF_GEN] arch/object/structures.pbf
[PBF_GEN] plat/32/plat_mode/machine/hardware.pbf
[PBF_GEN] 32/mode/api/shared_types.pbf
[BF_GEN] arch/object/structures_gen.h
[BF_GEN] plat/32/plat_mode/machine/hardware_gen.h
[BF_GEN] 32/mode/api/shared_types_gen.h
[CPP] src/arch/x86/32/machine_asm.s_pp
[AS] src/arch/x86/32/machine_asm.o
[CPP] src/arch/x86/32/traps.s_pp
[AS] src/arch/x86/32/traps.o
[CPP] src/arch/x86/32/head.s_pp
[AS] src/arch/x86/32/head.o
[CPP] src/arch/x86/multiboot.s_pp
[AS] src/arch/x86/multiboot.o
[TOUCH] sources_list_updated
[CPP_GEN] kernel_all.c
[CPP] kernel_all.c_pp
In file included from ./include/arch/x86/arch/fastpath/fastpath.h:14:0,
from src/arch/x86/32/c_traps.c:15:
./include/arch/x86/arch/32/mode/fastpath/fastpath.h:137:2: error: #error
"Invalid method to set IPCBUF/TLS"
#error "Invalid method to set IPCBUF/TLS"
^
./include/arch/x86/arch/32/mode/fastpath/fastpath.h:168:2: error: #error
"Invalid method to set IPCBUF/TLS"
#error "Invalid method to set IPCBUF/TLS"
^
src/arch/x86/32/c_traps.c:198:2: error: #error "Invalid method to set
IPCBUF/TLS"
#error "Invalid method to set IPCBUF/TLS"
^
src/arch/x86/32/c_traps.c:238:2: error: #error "Invalid method to set
IPCBUF/TLS"
#error "Invalid method to set IPCBUF/TLS"
^
Makefile:729: recipe for target 'kernel_all.c_pp' failed
make: *** [kernel_all.c_pp] Error 1
rm plat/32/plat_mode/machine/hardware_gen.h
32/mode/api/shared_types_gen.h src/arch/x86/32/machine_asm.s_pp
src/arch/x86/32/traps.s_pp src/arch/x86/multiboot.s_pp
arch/object/structures_gen.h src/arch/x86/32/head.s_pp
--
Alexander Boettcher
Genode Labs
http://www.genode-labs.com - http://www.genode.org
Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
