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
18 stars 14 forks source link

examples/echo server: fix regressions #115

Closed Ivan-Velickovic closed 4 months ago

Ivan-Velickovic commented 4 months ago

f4e08e5408776ec6ea900c162506bea6a1f7ec35 needed to also make certain changes to the ethernet configuration header to account for the removal of the ARP component.