From f53d9c63751895dc01be9bef7d3be7183374a493 Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Tue, 31 Dec 2024 14:57:27 -0500 Subject: [PATCH] vault backup: 2024-12-31 14:57:27 --- .../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 d7baca46b..946e49da5 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 @@ -15,3 +15,5 @@ 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