From df6ddeeb8d45205826042a00f00cf370497cdac8 Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Tue, 31 Dec 2024 14:54:08 -0500 Subject: [PATCH] vault backup: 2024-12-31 14:54:08 --- .../Investigating seL4 with Docker.md | 2 ++ 1 file changed, 2 insertions(+) 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 f342d7a46..d7baca46b 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 @@ -13,3 +13,5 @@ So apparently i don't have the kvm modules installed. Now following [this tutori 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.