Brad Campbell

> we're opening the gateway for safe Rust code to use these constructs to produce unsoundness, which is illegal. I don't agree with this as I don't see how this...

The `mscratch` CSR in Tock is a global pointer variable in a language that doesn't really have global variables. The normal encapsulation rules that we expect from Rust don't apply,...

I don't think it makes sense to have a clock with a frequency of `None`. Either the default noop implementation should just return 0, or getting the entire `ClockInterface` from...

> Using `NonZeroU32` allows the compiler to optimize the memory layout. Any thoughts? I don't understand what a `None` means. The clock doesn't have a frequency? Then it's not a...

I guess we need to establish what we want to be able to do with this interface. Currently it seems to be designed for optimizing power by enabling clocks only...

I have a prototype for option 2 for digest: https://github.com/tock/tock/compare/hmac-one-client?expand=1 I think the single client approach is a good balance of the tradeoff between compile time checks and overhead. Yes,...

> Is this a case of updating this: https://github.com/tock/tock/tree/master/.vscode, or building something new / different? I think this is something different. The goal would be to have this be installable...

> I've seen something similar with other OS's using [PlatformIO](https://platformio.org/) (which has a VSCode extension). For instance [Zephyr](https://docs.platformio.org/en/stable/frameworks/zephyr.html). It's able to setup the build environment and although it seems to...

I know this was a quick PR for tockworld to illustrate, but at some point I at least need more description and comments to understand this change.

If I'm reading this correctly this PR would allow the scheduler to learn _which_ interrupts are pending, and specify _which_ should run. What I don't understand is how is the...