https://github.com/sel4/rust-microkit-http-server-demo
Demonstrates the use of the seL4 crates with the seL4 Microkit
https://github.com/sel4/rust-microkit-http-server-demo
Last synced: about 1 year ago
JSON representation
Demonstrates the use of the seL4 crates with the seL4 Microkit
- Host: GitHub
- URL: https://github.com/sel4/rust-microkit-http-server-demo
- Owner: seL4
- Created: 2023-08-25T00:33:33.000Z (almost 3 years ago)
- Default Branch: main
- Last Pushed: 2024-07-02T03:01:54.000Z (about 2 years ago)
- Last Synced: 2025-04-27T20:38:26.228Z (over 1 year ago)
- Language: Rust
- Homepage:
- Size: 18.6 MB
- Stars: 5
- Watchers: 18
- Forks: 5
- Open Issues: 2
-
Metadata Files:
- Readme: README.md
- Contributing: .github/CONTRIBUTING.md
- License: LICENSES/BSD-2-Clause.txt
- Code of conduct: .github/CODE_OF_CONDUCT.md
- Codeowners: .github/CODEOWNERS
- Support: support/targets/aarch64-sel4-microkit.json
Awesome Lists containing this project
README
# HTTP Server
This repository demonstrates the use of the [seL4 crates](https://github.com/seL4/rust-sel4) with
the [seL4 Microkit](https://github.com/seL4/microkit). It serves a static site
(the same content as [https://sel4.systems](https://sel4.systems)) over HTTP and HTTPS. Currently, `qemu-arm-virt` is the only
supported platform.
### 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.