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 Sent: Thursday, 9 August 2018 11:22 PM To: Lyons, Anna (Data61, Kensington NSW); thad.seeberger@gmail.com; devel@sel4.systems 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 On Behalf Of Anna.Lyons@data61.csiro.au Sent: Wednesday, August 8, 2018 6:38 PM To: thad.seeberger@gmail.com; devel@sel4.systems 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 mailto:devel-bounces@sel4.systems> on behalf of Thad Seeberger mailto:thad.seeberger@gmail.com> 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