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] 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] https://sel4.systems/lists/listinfo/devel
