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.

From: Robert VanVossen <Robert.VanVossen@dornerworks.com>
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 <devel-bounces@sel4.systems> 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 <devel-bounces@sel4.systems> on behalf of Thad Seeberger <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