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

FS fixes #75

Closed JE-Archer closed 2 months ago

JE-Archer commented 2 months ago

This PR includes fixes to the NFS and MicroPython components. It also adds additional commands to the FS protocol (fstat, truncate).