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:devel-bounces@sel4.systems] On Behalf Of Chris Guikema Sent: Wednesday, May 17, 2017 4:38 PM To: devel@sel4.systemsmailto:devel@sel4.systems 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 Devel@sel4.systemsmailto:Devel@sel4.systems https://sel4.systems/lists/listinfo/devel