vault backup: 2025-02-17 14:48:47

This commit is contained in:
Dane Sabo 2025-02-17 14:48:48 -05:00
parent 70140cf29c
commit 784ee0269a
2 changed files with 4 additions and 3 deletions

View File

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

View File

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