?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.vanvos...@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/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
___
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel
