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(a)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.