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
