search

au-ts / lionsos

A secure, fast, and adaptable OS based on the seL4 microkernel
https://lionsos.org
BSD 2-Clause "Simplified" License
84 stars 12 forks source link

Update to latest sDDF #61

Closed Kswin01 closed 4 months ago

Kswin01 commented 4 months ago

Update the sDDF hash, and modify the kitty system appropriately.

Ivan-Velickovic commented 4 months ago

In the commit message for the commit that removes the ARP component, can you add a line saying that we don't need the ARP component is not necessary in the case of the Kitty example because our clients use lwIP which can handle ARP requests on its own.