1.5 KiB
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, and man, what a piece of shit.
- I found the Docker page.
- Now installing docker following these instructions
- IMPORTANT: docker contrainers and related files get saved to /var/lib/docker
- Now I'm in a docker desktop hole
- Docker Desktop is default installed at /opt/docker-desktop
So apparently i don't have the kvm modules installed. Now following this tutorial from Ubuntu to get it installed. This looks to be successful!
It wasn't. Needed to enable virtualization in the Bios. Weird, but that fixed it. Now am ready to install seL4 kenrel.
So i got docker working, installed the kernel, and am working on the tuts, but the big point is that for some reason when I'm in the kernel I can't see the init python file.
I did the first hello world tutorial! useful things to know are you build using 'ninja', simulate using './simulate', and then can exit the simulated system using ctrl+a, x