Hi Chris,
Looks like the seL4MultiSharedData template didn't get updated. It's missing a
call to `keep_symbol` in the template. See
https://github.com/seL4/camkes-tool/blob/next/camkes/templates/seL4SharedData-from.template.c#L32
in the seL4SharedData template. Something similar should be at
https://github.com/SEL4PROJ/global-components/blob/next/templates/seL4MultiSharedData-from.template.c#L41
(and on the -to side of the template).
Attached a patch that you should be able to use until fix goes in.
Adrian
On Fri 19-May-2017 11:48 PM, Chris Guikema wrote:
Adrian,
I am using a slightly modified version of the CAmkES tool that was started from
commit cf42782f99fd7f16b88995aaabfc68c23d9e3122, which should be the newest
commit on the master branch.
If it helps, I am using the seL4MultisharedData connector.
From: [email protected]<mailto:[email protected]>
[mailto:[email protected]]
Sent: Thursday, May 18, 2017 8:26 PM
To: Chris Guikema
<[email protected]><mailto:[email protected]>;
[email protected]<mailto:[email protected]>
Subject: Re: [seL4] CapDL Spec Error
Hi Chris,
Sorry for not replying earlier, but glad you found a solution. Can I ask if
you're using a particular version of CAmkES, or the tip of master? We noticed
this problem previously on CAmkES a bit after adding that configuration option,
but thought we fixed it. So curious if this is from an older version of CAmkES,
or if we didn't fix it properly.
Adrian
On Fri 19-May-2017 6:16 AM, Chris Guikema wrote:
I was able to figure out the issue.
Having the CONFIG_USER_LINKER_GC_SECTIONS removes a lot of the dead code,
however it also removed a lot of code that was actually needed to run the
system.
Thought I’d post the fix if anyone in the future comes across that issue.
Chris Guikema
From: Devel [mailto:[email protected]] On Behalf Of Chris Guikema
Sent: Wednesday, May 17, 2017 4:38 PM
To: [email protected]<mailto:[email protected]>
Subject: [seL4] CapDL Spec Error
Hello All,
Has anyone come across this error before?
[GEN] imx6_net.cdl
While forming CapDL spec: failed to find dataport symbol 'camkes router
router_send_buf data' in ELF router_group_bin
make[1]: *** [imx6_net.cdl] Error 255
make[1]: *** Deleting file `imx6_net.cdl'
make: *** [imx6_net] Error 2
Thanks,
Chris Guikema
_______________________________________________
Devel mailing list
[email protected]<mailto:[email protected]>
https://sel4.systems/lists/listinfo/devel
diff --git a/templates/seL4MultiSharedData-from.template.c
b/templates/seL4MultiSharedData-from.template.c
index 6d6f996..b881ce5 100644
--- a/templates/seL4MultiSharedData-from.template.c
+++ b/templates/seL4MultiSharedData-from.template.c
@@ -38,6 +38,7 @@ struct {
__attribute__((externally_visible));
/*- do register_shared_variable('%s_%s_data' % (me.parent.name, client_id),
shmem_symbol) -*/
+/*- do keep_symbol(shmem_symbol) -*/
volatile void * /*? shmem_name ?*/ = (volatile void *) & /*? shmem_symbol ?*/;
diff --git a/templates/seL4MultiSharedData-to.template.c
b/templates/seL4MultiSharedData-to.template.c
index 69b2077..fa6c384 100644
--- a/templates/seL4MultiSharedData-to.template.c
+++ b/templates/seL4MultiSharedData-to.template.c
@@ -42,6 +42,7 @@
__attribute__((externally_visible));
/*- do register_shared_variable('%s_%s_data' % (me.parent.name,
client_id), shmem_symbol) -*/
+ /*- do keep_symbol(shmem_symbol) -*/
volatile void * /*? shmem_name ?*/ = (volatile void *) & /*?
shmem_symbol ?*/;
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
