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

Webserver example system #57

Closed JE-Archer closed 3 months ago

JE-Archer commented 3 months ago

This PR updates the Micropython component to make it more general and adds a webserver example system.

Ivan-Velickovic commented 3 months ago

Why are we using a fork of microdot?

JE-Archer commented 3 months ago

Why are we using a fork of microdot?

Had to change the buffer size. I've worked around it and removed the fork.

Ivan-Velickovic commented 3 months ago

We will need to add CI and documentation for the web server example.

For the documentation:

Ivan-Velickovic commented 3 months ago

We need to change the Kitty Makefile and this one to only initialise the submodules that are needed.

We should have a make submodules step that, for this example, would only initialise sDDF and microdot dependenices.