/rust-microkit-http-server-demo

Demonstrates the use of the seL4 crates with the seL4 Microkit

Primary LanguageRust

HTTP Server

This repository demonstrates the use of the seL4 crates with the seL4 Microkit. It serves a static site (the same content as https://sel4.systems) over HTTP and HTTPS. Currently, qemu-arm-virt is the only supported platform.

system

Rustdoc for the sel4-microkit crate

https://sel4.github.io/rust-sel4/views/aarch64-microkit/aarch64-sel4-microkit/doc/sel4_microkit/index.html

Quick start

The only requirements for getting started are Git, Make, and Docker.

First, clone this respository:

git clone https://github.com/seL4/rust-microkit-http-server-demo.git
cd rust-microkit-http-server-demo

Next, build, run, and enter a Docker container for development:

make -C docker/ run && make -C docker/ exec

Inside the container, build and emulate the demo:

make run

Finally, in a browser, access http://localhost:9080 or https://localhost:9443.