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 <[email protected]> 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=sharing > > _______________________________________________ > Devel mailing list > [email protected] > https://sel4.systems/lists/listinfo/devel > _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
