@pmaydell: Thanks for the quick response! For whatever it's worth, I think
that there's definitely a bunch of interest in the M-profile work: in the
embedded Rust space (for example) Cortex-M is very much the reference
platform. Viz. the Embedded Rust Book:
Public bug reported:
QEMU's emuation of SysTick on ARM is incorrect with respect to reload
behavior. This issue is described here, and also in a repository
dedicated to the issue:
https://github.com/oxidecomputer/qemu-systick-bug
(What follows is in Markdown, which I understand that