Thank you Adrian for your quick response. Yes I was trying to build kzm_simulation_debug_xml_defconfig. After send the email I tried other config on Ubuntu 14 only. I was able to get the correct build. I’m sure it should be the same case for Ubuntu 16. It is probably due to the incorrect configuration of kzm_simulation_debug_xml_defconfig.
Also, I was building the sel4test manifest using a new Ubuntu machine, I got some error due to lack of python future, python tempita, and libxml2-utils, but those are kind of obvious. Thank you again! Thanks -Dan > On Jun 15, 2017, at 9:30 PM, [email protected] wrote: > > 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 >> [email protected] <mailto:[email protected]> >> https://sel4.systems/lists/listinfo/devel >> <https://sel4.systems/lists/listinfo/devel> >
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
