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 7 forks source link

Remove 'sddf' prefix from file system API #74

Closed Ivan-Velickovic closed 2 months ago

Ivan-Velickovic commented 2 months ago

These APIs are unrelated to sDDF, they are for the interaction between LionsOS client programs and file systems. We rename them to avoid any confusion as to what is actually part of the sDDF protocol/API.