13 Sep
2019
13 Sep
'19
8:56 a.m.
"Shahnewaz" == Shahnewaz Sakib shahnewazsakib99@gmail.com 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