Preliminary work to enable webserver

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

Preliminary work to enable webserver #50

Closed JE-Archer closed 4 months ago

JE-Archer commented 4 months ago

This PR includes preliminary work to enable a later PR for the webserver system. It:

improves the FS interface;
improves the NFS client;
improves the MP FS implementation;
changes how the MP event loop works;
adds a new MP module for using the FS interface asynchronously;
improves MP and NFS TCP performance;
updates libnfs to the latest upstream commit.

Ivan-Velickovic commented 4 months ago

The Kitty example cannot import over NFS as it looks like the newer libnfs version fails to open if the permissions do not match. The newer libnfs behaviour seems correct and instead we should be respecting modes correctly and not using read-write for everything as outlined in https://github.com/au-ts/lionsos/issues/2.

Once this is fixed in the PR and everything in Kitty still works we can merge.