Markus Reiter

The `critical_section::CriticalSection` implementation would have to be an opt-in feature anyways. I think it makes sense to then have a HAL either provide this implementation or opt into the single-core...

> I’m unsure whether it’s ok for them to re-export one from here. Not sure what you mean by re-export here. The HAL (for a single-core chip) will then simply...

> Some function which does pass a `bare_metal::CriticalSection` to a closure so we can actually lock a `bare_metal::Mutex`. Ah, `critical_section::CriticalSection` is a re-export of `bare_metal::CriticalSection`, I though it would have...

Is there a way to configure the extension to show `hprintln` output?

Ah, nevermind, `hprintln` output is in the `gdb-server` terminal.

Yes, I think this is somewhat blocked on either a workaround in `proxmoxer` (https://github.com/proxmoxer/proxmoxer/issues/117#issuecomment-1329343479) being implemented for the affected versions or https://bugzilla.proxmox.com/show_bug.cgi?id=4333 being fixed. In either case I would recommend...

@rafalh, can you take a look here? You should review my other PRs first so I can rebase this one for easier review.

@aruiz, not quite sure it would be easier. I couldn't reproduce it now if I wanted to since I don't have the necessary hardware anymore. Also, there is a an...

@adamgreig, ping.

Fixed in https://github.com/rust-embedded/cortex-m/pull/447.