>>>>> "Shahnewaz" == Shahnewaz Sakib <[email protected]> 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
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
