About this website

This website runs on LionsOS, an operating system for embedded systems. LionsOS is in turn based on the Microkit, a framework that presents a small set of simple abstractions over seL4, and the sel4 Device Driver Framework.

Source for the system is in the LionsOS repository.

The hardware is an Odroid C4, a quad-core Cortex A55 running at 1.2GHz with 4G of DDR4 RAM and a Gigabit ethernet. We are using only one of the cores.

For ease of update, the website content is stored on an NFS server. It is built from content on github.com and deployed to the NFS server as updates are accepted into the tree.

The MicroPython code that actually implements the webserver is based on the Microdot framework. It uses asychronous access to network and filesystems.