I'm building for aarch64 and hitting:
/usr/local/google/home/sleffler/camkes-aarch64-rootserver/kernel/include/arch/arm/arch/64/mode/kernel/vspace.h:55:36:
error: ‘mode_reserved_region’ causes a section type conflict with
‘avail_p_regs’
55 | static const region_t BOOT_RODATA *mode_reserved_region = NULL;
...
/usr/local/google/home/sleffler/camkes-aarch64-rootserver/build/kernel/gen_headers/plat/machine/devices_gen.h:67:37:
note: ‘avail_p_regs’ was declared here
67 | static const p_region_t BOOT_RODATA avail_p_regs[] = {
Looking at the commit history I see this commit:
https://github.com/seL4/seL4/commit/680ce96b590295c1d49db6a2a34f77ac22e8475a
followed by this commit:
https://github.com/seL4/seL4/commit/8a87015a7c289f8bc2b5799d61e7c91482ad1cb2
I'm using gcc 11.2 from arm's prebuilt toolchain repo:
https://developer.arm.com/tools-and-software/open-source-software/developer-tools/gnu-toolchain/downloads
Removing the clang band-aid fixes things. My source tree is "tracking"
upstream but not directly based off it. Have I missed a change that
resolves this? Is the 11.2 release just not being used yet (assuming it's a
change in gcc?
-Sam
_______________________________________________
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems
