From b9c8f38d1be237d9cda9ae0d63bc18ee47f757ed Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Wed, 12 Feb 2025 13:48:01 -0500 Subject: [PATCH] vault backup: 2025-02-12 13:48:01 --- .../!Things That Need Done.md | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/300s School/ME 2150 - High Assurance Cyber-Physical Systems/!Things That Need Done.md b/300s School/ME 2150 - High Assurance Cyber-Physical Systems/!Things That Need Done.md index 681163739..a81a62f9c 100644 --- a/300s School/ME 2150 - High Assurance Cyber-Physical Systems/!Things That Need Done.md +++ b/300s School/ME 2150 - High Assurance Cyber-Physical Systems/!Things That Need Done.md @@ -1 +1,6 @@ -- [x] The seL4 Tutorials, Hello World! #ME2150 ⏳ 2025-02-03 📅 2025-02-04 ✅ 2025-02-10 \ No newline at end of file +- [x] The seL4 Tutorials, Hello World! #ME2150 ⏳ 2025-02-03 📅 2025-02-04 ✅ 2025-02-10 +- [/] Part 1 of Microkit Tutorial #ME2150 ⏳ 2025-02-12 📅 2025-02-13 +- [ ] Part 2 of Microkit Tutorial #ME2150 ⏳ 2025-02-12 📅 2025-02-13 +- [ ] Part 3 of Microkit Tutorial #ME2150 ⏳ 2025-02-18 📅 2025-02-20 +- [ ] Part 4 of Microkit Tutorial #ME2150 ⏳ 2025-02-18 📅 2025-02-20 +- [ ] Introduction to SeL4 Proofs #ME2150 ⏳ 2025-02-13 📅 2025-02-13 \ No newline at end of file