ZCU102 - seL4 Microkit IP Server

This repository demonstrates the use of the seL4 crates with the seL4 Microkit.

This example also utilizes the HAL rust drivers for the Zynq UltraScale+ MPSoC (ZUS+).

The server system consists of two components:

• eth-driver (untrusted): Ethernet driver that takes advantage of the ZUS+ rust HAL and smoltcp traits to standardize interaction.
• ping (untrusted): Sets up the smoltcp network stack and responds to ARP and ping requests.

Rustdoc for the sel4-microkit crate

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

Configuration

This project uses a static IP configuration. Edit IP and GATEWAY in crates/ping/src/config.rs according to your network.

Quick start

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

First, clone this repository. Then enter a Docker container for development:

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

Inside the container, build the application:

make

This creates a file build/loader.img which can be run on a ZCU102 development board.

Assuming using U-Boot with TFTP, the following command can be run:

dhcp; tftpboot 0x40000000 loader.img; go 0x40000000

Once the eth-driver and ping components have finished initialization, another machine on the network can ping the configured IP address.