danesabo/Obsidian
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

vault backup: 2024-12-31 14:57:27

Browse Source
This commit is contained in:
Dane Sabo 2024-12-31 14:57:27 -05:00
parent df6ddeeb8d
commit f53d9c6375
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
300s School/ME 2150 - High Assurance Cyber-Physical Systems/Investigating seL4 with Docker.md
View File

@ -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