16 lines
645 B
Markdown
16 lines
645 B
Markdown
The quick brown fox jumps over the lazy dog. The dog stays blissfully asleep. :)
|
|
|
|
- [ ] Look at what papers are being published for NASA FM 2025 #Follow-Up
|
|
|
|
Multi-party session types-- how could they line up to chaotic synchronization
|
|
and then maybe this lines up to wireless communication? Hmmmm.
|
|
|
|
- [ ] Look for NVIM git plugins #NVIM
|
|
|
|
- [ ] Kalman Filters on seL4?
|
|
|
|
- [ ] How does microkit interface with Rust?
|
|
I think it does. Microkit is actually mostly written in Rust. This should
|
|
also be checked on: [Supported Boards for SeL4](https://docs.sel4.systems/Hardware/).
|
|
Maybe this can be crossref'd with what works with Kry10?
|