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