diff --git a/1 Daily Notes/2025/2025-02-17.md b/1 Daily Notes/2025/2025-02-17.md index 614b636e..75413ee0 100644 --- a/1 Daily Notes/2025/2025-02-17.md +++ b/1 Daily Notes/2025/2025-02-17.md @@ -19,11 +19,12 @@ group by tags ``` # Calendar Tasks +- NUCE 2113 lab 4 [startTime:: 14:45] [endTime:: 15:30] - Lunch [startTime:: 12:30] [endTime:: 13:30] - Learn about TAL [startTime:: 15:30] [endTime:: 16:30] - Learn about FPGA [startTime:: 17:30] [endTime:: 18:30] -- Read Papers [startTime:: 14:30] [endTime:: 15:30] -- SeL4 Part 2 [startTime:: 13:30] [endTime:: 14:30] +- Read Papers [startTime:: 16:30] [endTime:: 17:30] +- SeL4 Part 2 [startTime:: 13:30] [endTime:: 14:45] - NUCE 2113 Lab Report 4 [startTime:: 10:00] [endTime:: 12:30] - Introduction to SeL4 proofs [startTime:: 09:30] [endTime:: 10:00] - LEAN Learning Plan [startTime:: 09:00] [endTime:: 09:30] \ No newline at end of file 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 8482edd7..f40fe059 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,6 +1,6 @@ - [x] The seL4 Tutorials, Hello World! #ME2150 ⏳ 2025-02-03 📅 2025-02-04 ✅ 2025-02-10 - [x] Part 1 of Microkit Tutorial #ME2150 ⏳ 2025-02-12 📅 2025-02-13 ✅ 2025-02-12 -- [/] Part 2 of Microkit Tutorial #ME2150 ⏳ 2025-02-12 📅 2025-02-13 +- [x] Part 2 of Microkit Tutorial #ME2150 ⏳ 2025-02-12 📅 2025-02-13 ✅ 2025-02-17 - [ ] Part 3 of Microkit Tutorial #ME2150 ⏳ 2025-02-18 📅 2025-02-20 - [ ] Part 4 of Microkit Tutorial #ME2150 ⏳ 2025-02-18 📅 2025-02-20 - [x] Introduction to SeL4 Proofs #ME2150 ⏳ 2025-02-13 📅 2025-02-13 ✅ 2025-02-17 \ No newline at end of file