search

au-ts / sddf

A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low overhead.
Other
16 stars 12 forks source link

TCP echo server #90

Closed ralismark closed 3 months ago

ralismark commented 4 months ago

This adds a TCP echo server operating on port 1237, similar to the existing UDP one on port 1235.

Courtney3141 commented 3 months ago

I have re-run the tcp echo server again since you allowed the socket to have multiple connections and everything works as expected. Happy to merge from my end once you have fixed up your missing signature on the recent commit!