Branden Ghena
Branden Ghena
I'm not sure why there are CI when attempting to merge, but not normally on the PR. The errors look real to me: ``` error[E0432]: unresolved import `cortexm33::support::atomic` --> chips/rp2350/src/timer.rs:5:5...
This is the kind of test we should be running frequently on Treadmill. Highly important to get right, easy enough to have some expected results (although not exact results every...
I will look over this tomorrow. Thanks for the nudge.
I confirm that worked. So `libpixman-1.0-dev` is a requirement of the QEMU stuff, and therefore a requirement of libtock-rs as currently designed.
Wouldn't Imix match Hail?
This looks good to me now!
Okay how about `SchedulerChoice` or `UsedScheduler` or something suggesting that this represents which scheduler you selected to use.
> Suppose you are writing a Tock application that needs to store encryption keys in a secure location. You know that the IPC service for storing keys is named "keystore"...
This looks like a clear improvement to me.
https://en.cppreference.com/w/c/compiler_support/23