# What're we doing?
Dan is running a new class called 'High-Assurance Cyber-Physical Systems'. As part of this, DGC wanted me to try to set up seL4 on my own and complete some of the tutorials. He apparently got through them and with CAmkES using Docker. This note is my trial and tribulation.

# Trying to find Docker seL4
I'm poking around the [seL4 website](https://docs.sel4.systems/GettingStarted), and man, what a piece of shit.
