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

vault backup: 2024-12-30 11:14:36

Browse Source
This commit is contained in:
Dane Sabo 2024-12-30 11:14:36 -05:00
parent 1a0eeee8e5
commit a8aea99354
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

@ -11,3 +11,5 @@ Dan is running a new class called 'High-Assurance Cyber-Physical Systems'. As pa
So apparently i don't have the kvm modules installed. Now following [this tutorial from Ubuntu](https://help.ubuntu.com/community/KVM/Installation) to get it installed.
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.