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.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