Re: [seL4] Issues with broadcasting a message in seL4

...

...

...

...

"Shahnewaz" == Shahnewaz Sakib writes:

Shahnewaz> I was trying to generate a simple broadcasting message in Shahnewaz> sel4. I have used a c code I found in the internet. It looks like Unix/Linux C code not seL4 C code. seL4 does not provide a sockets interface. To use IP networking you'll need to integrate a networking stack and an ethernet driver. There is example code at https://github.com/SEL4PROJ/ethernet-demo-x86-manifest but it is probably out of date. -- Dr Peter Chubb Tel: +61 2 9490 5852 http://ts.data61.csiro.au/ Trustworthy Systems Group CSIRO's Data61