Hi Thad,
zynqmp is now a supported cmake platform as of: https://github.com/seL4/seL4/commit/9bd2b784c176ebc91e0d5e0c46d05c8fec2e3853 We've tested that it compiles, but we don't have an actual board to test that it runs, but the parameters match what was used by Kbuild. Cheers, Anna. ________________________________ From: Robert VanVossen <[email protected]> Sent: Thursday, 9 August 2018 11:22 PM To: Lyons, Anna (Data61, Kensington NSW); [email protected]; [email protected] Subject: RE: [seL4] compile error aarch64 platform hikey Thad, If you would like to get started with the ZUS+ right away, you could also use a slightly older version of the codebase. repo init -u https://github.com/seL4/sel4test-manifest.git -b refs/tags/9.0.0 repo sync make zynqmp_aarch64_debug_xml_defconfig make Thanks, Robbie VanVossen DornerWorks, Ltd. From: Devel <[email protected]> On Behalf Of [email protected] Sent: Wednesday, August 8, 2018 6:38 PM To: [email protected]; [email protected] Subject: Re: [seL4] compile error aarch64 platform hikey CAUTION: This email originated from outside the organization. Do no click links or open attachments unless you recognize the sender and know the content is safe. Hi Thad, zyncmp hasn't been ported to cmake yet, I'll see if we can fix that this week. For the build error: you need to use a version of aarch64-linux-gnu-gcc > 5. $ aarch64-linux-gnu-gcc --version aarch64-linux-gnu-gcc (Ubuntu/Linaro 5.4.0-6ubuntu1~16.04.9) 5.4.0 20160609 Cheers, Anna. From: Devel <[email protected]<mailto:[email protected]>> on behalf of Thad Seeberger <[email protected]<mailto:[email protected]>> Sent: Thursday, 9 August 2018 5:51 AM To: devel Subject: [seL4] compile error aarch64 platform hikey I really want to target zcu102 but i../init-build.sh -DPLATFORM=zynqmp unsupported platform so I decided to target another A53 target I dont know if this is the proper way to get started on this. ../init-build.sh -DPLATFORM=hikey -DAARCH64=1 ninja [maddthad@localhost build-zcu102]$ ccache /usr/lib64/ccache/aarch64-linux-gnu-gcc --sysroot=/home/maddthad/sel4/sel4test/build-zcu102 -DHAVE_AUTOCONF -I../tools/seL4/elfloader-tool/include -I../tools/seL4/elfloader-tool/include/plat/hikey -I../tools/seL4/elfloader-tool/include/arch-arm -I../tools/seL4/elfloader-tool/include/arch-arm/64 -I../tools/seL4/elfloader-tool/include/arch-arm/armv/armv8-a -I../tools/seL4/elfloader-tool/include/arch-arm/armv/armv8-a/64 -Iautoconf -Ikernel/gen_config -Ielfloader-tool/gen_config -Ilibsel4/gen_config -Iprojects/seL4_libs/libsel4vka/gen_config -Iprojects/seL4_libs/libsel4utils/gen_config -Iprojects/seL4_libs/libsel4platsupport/gen_config -Iprojects/seL4_libs/libsel4serialserver/gen_config -Iprojects/seL4_libs/libsel4debug/gen_config -Iprojects/seL4_libs/libsel4test/gen_config -Iprojects/seL4_libs/libsel4muslcsys/gen_config -Iprojects/seL4_libs/libsel4vmm/gen_config -Iprojects/sel4test/apps/sel4test-driver/gen_config -Iprojects/util_libs/libutils/gen_config -Iprojects/util_libs/libplatsupport/gen_config -Iprojects/util_libs/libethdrivers/gen_config -I../projects/util_libs/libcpio/include -march=armv8-a+crc -D__KERNEL_64__ -D_XOPEN_SOURCE=700 -ffreestanding -Wall -Werror -W -Wextra -mgeneral-regs-only -fpic -fno-pie -MD -MT elfloader-tool/CMakeFiles/elfloader.dir/src/string.c.obj -MF elfloader-tool/CMakeFiles/elfloader.dir/src/string.c.obj.d -o elfloader-tool/CMakeFiles/elfloader.dir/src/string.c.obj -c ../tools/seL4/elfloader-tool/src/string.c ../tools/seL4/elfloader-tool/src/string.c:97:29: error: expected ‘;’, ‘,’ or ‘)’ before ‘dest’ void *memcpy(void *restrict dest, const void *restrict src, size_t n) gcc ver: COLLECT_GCC=/usr/bin/aarch64-linux-gnu-gcc COLLECT_LTO_WRAPPER=/usr/libexec/gcc/aarch64-linux-gnu/4.8.5/lto-wrapper Target: aarch64-linux-gnu gcc version 4.8.5 20150623 (Red Hat 4.8.5-16) (GCC) thx Thad
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
