Am 09.02.21 um 22:15 schrieb Stefan Weil:
Thanks for solving this. The patch works for me.
BIOS boot time with qemu-system-i386 is about 41 s (with my code which
lacks thread support and ffi it was 40 s).
With qemu-system-x86_64 it is twice as fast, so it looks like in my
last report where I said that the new code had doubled the speed I
compared different system emulations.
Update: with Richard's latest tci-next branch which includes the fixed
code both qemu-system-x86_64 and qemu-system-i386 require about 20 s
user time for the BIOS boot.
Stefan
