?Hi Robbie,

Groups are not supported by released versions of CAmkES (such as 2.2). They are 
however, supported on our development version of CAmkES in a branch called 
"next". You can get the latest version of CAmkES next and its dependencies 
using repo:

repo init -u https://github.com/seL4/camkes-manifest.git -m next.xml? && repo 

Some of the CAmkES apps in the "apps" directory have examples of groups, such 
as testgrouping.



From: Devel <devel-bounces@sel4.systems> on behalf of Robert VanVossen 
Sent: Wednesday, 19 October 2016 5:40 AM
To: devel@sel4.systems
Subject: [seL4] CAmkES Groups


I have been trying to get groups with CAmkES 2.2 working, but it doesn't look 
like it will build correctly. At first, when I place components in a group, I 
get that there is an unresolved reference to one of the components during 

I was able to get past this by moving the function assign_address_spaces in 
camkes/camkes/runner/Transforms.py from POST_RESOLUTION to PRE_RESOLUTION, but 
after that I still ran into some issues:

[LD] MyGroup_group_bin
if [ 2 -eq 1 ]; then cp "comp1.instance-copy.bin" " MyGroup_group_bin"; else 
/usr/bin/ccache arm-xilinx-eabi-gcc comp1.instance-copy.bin 
comp2.instance-copy.bin   -Wl,--build-id=none -L<stage_dir>/lib -Wall -nostdinc 
-std=gnu11 -O2 -D_XOPEN_SOURCE=700 -marm -Wtrampolines -mcpu=cortex-a9 -g 
-Wno-main -fno-stack-protector -Wl,--start-group -lsel4 -lsel4debug -lc 
-lsel4muslccamkes -lsel4camkes -lsel4sync -lutils -lsel4vka -lsel4utils 
-lsel4platsupport -lplatsupport -lsel4vspace -lgcc -Wl,--end-group -static 
-nostdlib -u _camkes_start -e _camkes_start -o MyGroup_group_bin; fi
<stage_dir>/lib/libsel4camkes.a(crt0.o): In function `_camkes_start':
(.text+0x6c): undefined reference to `_start'

Any insight on this? Are groups supported yet?

Robbie VanVossen
Devel mailing list

Reply via email to