Things

Here is a incomplete collection of things I work(ed) on.

Exploring in-network capability caching for distributed runtimes

In my graduate thesis I explored in-network capability caching for distributed runtimes. The design is aligned on the FractOS meta OS. The work consists of a runtime library allowing the development of distributed applications, a in-network application caching capability delegations and the distributed state of the capability tables in a Tofino switch and the controller application performing the state modifications. For the evaluation I wrote a few example applications and benchmarks.

Enabling TPM Support in L4Re

Porting an BCM2835 SPI Driver to L4Re to allow communication between a Raspberry Pi 4 and the TPM 2.0 module (src). Providing API for TPM operations through a port of WolfTPM to L4 (src).