From c98a9098c5e07fe22c7ea7d853385fa9db258c76 Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Mon, 30 Dec 2024 10:11:07 -0500 Subject: [PATCH] vault backup: 2024-12-30 10:11:07 --- .../Investigating seL4 with Docker.md | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/300s School/ME 2150 - High Assurance Cyber-Physical Systems/Investigating seL4 with Docker.md b/300s School/ME 2150 - High Assurance Cyber-Physical Systems/Investigating seL4 with Docker.md index 760ab211d..15e6df866 100644 --- a/300s School/ME 2150 - High Assurance Cyber-Physical Systems/Investigating seL4 with Docker.md +++ b/300s School/ME 2150 - High Assurance Cyber-Physical Systems/Investigating seL4 with Docker.md @@ -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. # 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 found the [Docker page](https://docs.sel4.systems/projects/dockerfiles/). +- 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/). +- 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/) +-