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