Garret Kelly

I can't assign this to @tock/opentitan-wg for some reason, @bradjc is assigning this to you-in-lieu as the chair of that WG a reasonable alternative?

> > So my question is: what's Tock position regarding adding new unstable features in the future? What bar (current and future stability? value proposition?) should an unstable feature pass...

> can we make keys also be `&[u8]` ? The extra overhead of utf-8 validation in a str doesn't seem to be beneficial, especially based on other discussions we've had...

I think removing the debug statements (or making a pluggable logging driver that could do things like printing offsets into `.rodata` and format arguments, for example) might be a big...

Whoops, should have looked for this PR before I opened https://github.com/cogciprocate/ocl/pull/183.

I was thinking about this today. With the way that `arbitrary_iter` works you end up flipping a coin to determine if you produce another element, so the distribution of lengths...

Hi @TomKeddie, I really appreciate you putting this together. I just gave this a shot with an r1.0 board (`python -m nmigen_boards.butterstick`) and noticed that the program step failed because...

Looks like it would be useful to have an `-R` in there as well, to reset out of DFU mode when programming is done.

I spent some more time working on this today. Pressing `BTN0` is actually _not_ expected to reset to DFU on the blinky program, it turned out! With the following patch...

One thing that doesn't work perfectly is the exit from the `dfu-util` invocation. It return 251 after the reset, so the board gets programmed and starts the loaded gateware but...