Hi James, Thanks very much for pointing out the error. It should be fixed now. The wiki is under construction at the moment, and we haven't announced it yet. So please don't tell anyone about this secret ;-) - Siwei On Wed, Jan 20, 2016 at 07:22:28PM +0000, James Hasner wrote: #All, #Noticed an issue with the tutorial for creating a dataport application with #CAmkES components. This issue is on https://wiki.sel4.systems/CAmkES%20Tutorial #within the Makefile and Kbuild section. You titled the application "helloevent" #instead of hellodataport, causing the newly created application to not be able #to access the header files needed. # #Thanks, #James #_______________________________________________ #Devel mailing list #Devel@sel4.systems #https://sel4.systems/lists/listinfo/devel ________________________________ The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.