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