[seL4] CAmkES Templates

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