Hi Dan,

Can you please be more precise as to which configuration you are trying to build, as there are several configurations that start with the name kzm_simulation. I tried a few different configurations on a few different versions but was unable to reproduce your specific build error, although I was able to get other build errors. The kzm_simulation_debug_xml_defconfig is simply incorrect and if you're using it then you should do "make menuconfig -> seL4 Kernel -> Build Options" and uncheck "Enable hardware breakpoint and single-stepping API". Otherwise there does seem to be some breakage of the kzm on some of the released versions, so if you really want the kzm then you may need to use the development tip, which aside from needing that configuration fix, does seem to build correctly for me.

Adrian

On Fri 16-Jun-2017 6:11 AM, Daniel Wang wrote
Hi all,

I’m testing the new versions of seL4 (,4.0, 5.0, 5.1, etc.) using the sel4test-manifest. I tried both Ubuntu 16 and Ubuntu 14. For 3.2 version both I32 and KZM_simulation built just fine. However for the higher version (4.0. 5.1, 5.2) only I32 built properly. KZM_simulation keep failing on both Ubuntu 14 and 16.

Anyone has the similar issues?

Thanks
-Dan

FYI:

[apps/sel4test-tests] done.
[KERNEL]
 [MKDIR] src/arch/arm/api
 [PBF_GEN] arch/object/structures.pbf
 [PBF_GEN] arch/api/shared_types.pbf
 [PBF_GEN] plat/machine/hardware.pbf
 [PBF_GEN] api/types.pbf
 [BF_GEN] arch/object/structures_gen.h
 [BF_GEN] arch/api/shared_types_gen.h
 [BF_GEN] plat/machine/hardware_gen.h
 [BF_GEN] api/types_gen.h
 [CPP] src/arch/arm/armv/armv6/machine_asm.s_pp
 [AS] src/arch/arm/armv/armv6/machine_asm.o
 [CPP] src/arch/arm/32/halt.s_pp
 [AS] src/arch/arm/32/halt.o
 [CPP] src/arch/arm/32/head.s_pp
 [AS] src/arch/arm/32/head.o
 [CPP] src/arch/arm/32/idle.s_pp
 [AS] src/arch/arm/32/idle.o
 [CPP] src/arch/arm/32/traps.s_pp
 [AS] src/arch/arm/32/traps.o
 [CPP] src/arch/arm/32/hyp_traps.s_pp
 [AS] src/arch/arm/32/hyp_traps.o
 [TOUCH] sources_list_updated
 [CPP_GEN] kernel_all.c
 [CPP] kernel_all.c_pp
 [CP] kernel_final.c
 [CC] kernel_final.s
/home/daniel/Desktop/sel4test/kernel/src/arch/arm/32/kernel/vspace.c: In function ‘doFlush’:
/home/daniel/Desktop/sel4test/kernel/src/arch/arm/32/kernel/vspace.c:1929:10: error: ‘ARMPDClean_Data’ undeclared (first use in this function)
/home/daniel/Desktop/sel4test/kernel/src/arch/arm/32/kernel/vspace.c:1929:10: note: each undeclared identifier is reported only once for each function it appears in
/home/daniel/Desktop/sel4test/kernel/src/arch/arm/32/kernel/vspace.c:1930:10: error: ‘ARMPageClean_Data’ undeclared (first use in this function)
/home/daniel/Desktop/sel4test/kernel/src/arch/arm/32/kernel/vspace.c:1933:10: error: ‘ARMPDInvalidate_Data’ undeclared (first use in this function)
/home/daniel/Desktop/sel4test/kernel/src/arch/arm/32/kernel/vspace.c:1934:10: error: ‘ARMPageInvalidate_Data’ undeclared (first use in this function)
/home/daniel/Desktop/sel4test/kernel/src/arch/arm/32/kernel/vspace.c:1937:10: error: ‘ARMPDCleanInvalidate_Data’ undeclared (first use in this function)
/home/daniel/Desktop/sel4test/kernel/src/arch/arm/32/kernel/vspace.c:1938:10: error: ‘ARMPageCleanInvalidate_Data’ undeclared (first use in this function)
/home/daniel/Desktop/sel4test/kernel/src/arch/arm/32/kernel/vspace.c:1941:10: error: ‘ARMPDUnify_Instruction’ undeclared (first use in this function)
/home/daniel/Desktop/sel4test/kernel/src/arch/arm/32/kernel/vspace.c:1942:10: error: ‘ARMPageUnify_Instruction’ undeclared (first use in this function)
/home/daniel/Desktop/sel4test/kernel/src/arch/arm/32/kernel/vspace.c: In function ‘decodeARMPageDirectoryInvocation’:
/home/daniel/Desktop/sel4test/kernel/src/arch/arm/32/kernel/vspace.c:2217:10: error: ‘ARMPDClean_Data’ undeclared (first use in this function)
/home/daniel/Desktop/sel4test/kernel/src/arch/arm/32/kernel/vspace.c:2218:10: error: ‘ARMPDInvalidate_Data’ undeclared (first use in this function)
/home/daniel/Desktop/sel4test/kernel/src/arch/arm/32/kernel/vspace.c:2219:10: error: ‘ARMPDCleanInvalidate_Data’ undeclared (first use in this function)
/home/daniel/Desktop/sel4test/kernel/src/arch/arm/32/kernel/vspace.c:2220:10: error: ‘ARMPDUnify_Instruction’ undeclared (first use in this function)
/home/daniel/Desktop/sel4test/kernel/src/arch/arm/32/kernel/vspace.c: In function ‘decodeARMPageTableInvocation’:
/home/daniel/Desktop/sel4test/kernel/src/arch/arm/32/kernel/vspace.c:2335:21: error: ‘ARMPageTableUnmap’ undeclared (first use in this function)
/home/daniel/Desktop/sel4test/kernel/src/arch/arm/32/kernel/vspace.c:2344:41: error: ‘ARMPageTableMap’ undeclared (first use in this function)
/home/daniel/Desktop/sel4test/kernel/src/arch/arm/32/kernel/vspace.c: In function ‘decodeARMFrameInvocation’:
/home/daniel/Desktop/sel4test/kernel/src/arch/arm/32/kernel/vspace.c:2440:10: error: ‘ARMPageMap’ undeclared (first use in this function)
/home/daniel/Desktop/sel4test/kernel/src/arch/arm/32/kernel/vspace.c:2562:10: error: ‘ARMPageRemap’ undeclared (first use in this function)
/home/daniel/Desktop/sel4test/kernel/src/arch/arm/32/kernel/vspace.c:2680:10: error: ‘ARMPageUnmap’ undeclared (first use in this function)
/home/daniel/Desktop/sel4test/kernel/src/arch/arm/32/kernel/vspace.c:2699:10: error: ‘ARMPageClean_Data’ undeclared (first use in this function)
/home/daniel/Desktop/sel4test/kernel/src/arch/arm/32/kernel/vspace.c:2700:10: error: ‘ARMPageInvalidate_Data’ undeclared (first use in this function)
/home/daniel/Desktop/sel4test/kernel/src/arch/arm/32/kernel/vspace.c:2701:10: error: ‘ARMPageCleanInvalidate_Data’ undeclared (first use in this function)
/home/daniel/Desktop/sel4test/kernel/src/arch/arm/32/kernel/vspace.c:2702:10: error: ‘ARMPageUnify_Instruction’ undeclared (first use in this function)
/home/daniel/Desktop/sel4test/kernel/src/arch/arm/32/kernel/vspace.c:2772:10: error: ‘ARMPageGetAddress’ undeclared (first use in this function)
/home/daniel/Desktop/sel4test/kernel/src/arch/arm/32/kernel/vspace.c: In function ‘decodeARMMMUInvocation’:
/home/daniel/Desktop/sel4test/kernel/src/arch/arm/32/kernel/vspace.c:2818:45: error: ‘ARMASIDControlMakePool’ undeclared (first use in this function)
/home/daniel/Desktop/sel4test/kernel/src/arch/arm/32/kernel/vspace.c:2887:45: error: ‘ARMASIDPoolAssign’ undeclared (first use in this function)
/home/daniel/Desktop/sel4test/kernel/Makefile:566: recipe for target 'kernel_final.s' failed
make[1]: *** [kernel_final.s] Error 1
tools/common/project.mk:254: recipe for target 'kernel_elf' failed
make: *** [kernel_elf] Error 2
  
_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel