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 ;-)
On Wed, Jan 20, 2016 at 07:22:28PM +0000, James Hasner wrote:
#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
#instead of hellodataport, causing the newly created application to not be able
#to access the header files needed.
#Devel mailing list
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.