danesabo/Obsidian
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

vault backup: 2024-12-30 10:11:07

Browse Source
This commit is contained in:
Dane Sabo 2024-12-30 10:11:07 -05:00
parent 25080516a1
commit c98a9098c5
1 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
300s School/ME 2150 - High Assurance Cyber-Physical Systems/Investigating seL4 with Docker.md
View File

@ -2,6 +2,10 @@
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. 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 # Trying to find Docker seL4
I'm poking around the [seL4 website](https://docs.sel4.systems/GettingStarted), and man, what a piece of shit. - I'm poking around the [seL4 website](https://docs.sel4.systems/GettingStarted), and man, what a piece of shit.
I found the [Docker page](https://docs.sel4.systems/projects/dockerfiles/). - I found the [Docker page](https://docs.sel4.systems/projects/dockerfiles/).
- Now installing docker following [these instructions](https://docs.docker.com/engine/install/ubuntu/)
- **IMPORTANT:** docker contrainers and related files get saved to /var/lib/docker
- Now I'm in a [docker desktop hole](https://docs.docker.com/desktop/setup/install/linux/)
-