Perhaps you need to add: import "components/drv/Driver.camkes"; Also Driver.camkes seems to be a copy of ConsumerThreadImpl.camkes and does not contain a definition of the UART component. -Andrew On Fri, Jun 10, 2016 at 10:15 AM, Julien Delange <julien.delange@gmail.com> wrote:
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...
_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel