[seL4] CAmkES parsing issue

Hi,

I am trying to build a camked application with a UART driver. When trying to build the application, I got the following error:

While rendering uart_mem.from.source: 'drv'

However, the component is well define. How can I try to get more information/debug of the camkes assembly and find out what is wrong?

Thanks!

Note: the project can be found there: https://drive.google.com/file/d/0Bxl72qH3r6BjRGxYSXd2LUllcDQ/view?usp=sharin...