Have you considered extending the emulation to include a AST1030 SoC
in a larger machine ?
The AST1030 SoC is merged and I think that QEMU could run a cortex-m4
CPU and a A7 CPU. A + R CPUs is supported (Xilinx boards).
As a matter of fact yes! I tested booting our OpenBIC Zephyr kernel last week
with the 1030, that worked. I also used the experimental i2c multi-master
patches from Klaus to make a i2c-netdev device that connects two separate QEMU
instances through a socket and sends their i2c messages back and forth. I was
able to test a basic MCTP transaction.
I’m hoping to help however possible with merging Klaus’s changes, and then
propose the i2c-netdev thing too.