?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 on behalf of Robert VanVossen
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/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
/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
