sorry, previous email sent by mistake. #include "sys/socket.h" actually solved the problem instead of only "socket.h" many thanks. Regards yk On Fri, Jun 14, 2019 at 10:30 AM yogidk . wrote:

thanks Kent and Peter,

however if I remove

On Fri, Jun 14, 2019 at 2:14 AM Mcleod, Kent (Data61, Kensington NSW) < Kent.Mcleod@data61.csiro.au> wrote:

...

...

"../muslibc/include/sys"* // necessary for compilation as

test_2.c has "socket.h"* This line shouldn't be here, and instead socket.h should be included via . Otherwise many other include directives are going to match on the incorrect files.

Kent. ------------------------------ *From:* Devel on behalf of Chubb, Peter (Data61, Kensington NSW) *Sent:* Friday, 14 June 2019 8:03 AM *To:* yogidk . *Cc:* devel@sel4.systems *Subject:* Re: [seL4] camkes error.h include problem

...

...

...

...

> "yogidk" == yogidk writes:

yogidk> and another file

yogidk> test_2.c which includes "socket.h"

yogidk> DeclareCAmkESComponent(test yogidk> INCLUDES "../muslibc/include/sys"* // necessary for yogidk> compilation as test_2.c has "socket.h"*

This line means that "#include " picks up sys/errno.h instead of errno.h.

Get rid of it. Instead, do '#include instead of '#include '

Peter C -- Dr Peter Chubb Tel: +61 2 9490 5852 http://ts.data61.csiro.au/ Trustworthy Systems Group Data61, CSIRO (formerly NICTA) _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel