?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 sync Some of the CAmkES apps in the "apps" directory have examples of groups, such as testgrouping. Cheers, Stephen ________________________________ From: Devel <devel-bounces@sel4.systems> on behalf of Robert VanVossen <Robert.VanVossen@dornerworks.com> Sent: Wednesday, 19 October 2016 5:40 AM To: devel@sel4.systems Subject: [seL4] CAmkES Groups Hello, 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 compilation. 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? Thanks, Robbie VanVossen