Brad Campbell

Those are two separate comments. The issue is somehow related to probe-rs.

I've only been able to fix that using [MCUxpresso](https://www.nxp.com/design/design-center/software/development-software/mcuxpresso-software-and-tools-/mcuxpresso-integrated-development-environment-ide:MCUXpresso-IDE) and flashing some built application from there onto the board.

I think the fix here is just to not put external sources in our tools directory. I don't think we need to pin a specific QEMU commit and build from...

This would be very helpful. As another example, here is our workaround: https://github.com/tock/tock/blob/f96c4ef49b25d696f2f54622bc604b32d0201cd2/boards/Makefile.common#L207

What version of GCC is needed for C23?

I'm worried we are getting out over our skis maybe, I think we should support all active Ubuntu LTSs, which I think includes jammy https://en.wikipedia.org/wiki/Ubuntu_version_history which I think is on...

But we are trying to use `[[nodiscard]]` which is listed as a "GCC 10" feature, but that is what our CI was pinned to https://github.com/tock/libtock-c/pull/540/files and that didn't work. So...

The upside of breaking things for users seems limited. We get a new way to write code we have never written before and the ability to use one compiler directive...

I'm assuming these are dual-core chips? Is the model they execute from different starting addresses in memory, and can therefore be effectively programmed as if they were two separate MCUs?...

> Do we still value the multi-arch build? I do, quite a bit. Otherwise the builds which don't get used as much will just decay. Also, we lose the "just...