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.