Hello,

I am working on a CAmkES application attempting to build a seL4 Network Stack. 
I am basing this on the CAmkES-VM and utilizing UDP Protocol with the lwIP 
library.

During my build process, I get quite a few linking errors like this:

undefined reference to `pbuf_alloc'

This is odd, because in the templates, the proper header files are being linked 
in. There are also warnings like this:

Warning: no template for ethdriver_1.to.source

Even though the connection does exist:

connection seL4Ethdriver eth_driver(from router.ethdriver, to ethdriver.client);

Is there something obvious I am doing wrong?

Thanks
Chris
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel

Reply via email to