Alexander Boettcher ceaa02230e qemu: set default cpu model for x86_64 explicitly ... With the update to sel4 and the gcc 12, assembly instructions are generated and used, like POPCNT. The instruction is available on our native hardware, but not emulated by the default cpu model necessarily, which leads to undefined opcode exceptions (Qemu 4.2.1 && seL4). Additionally, the features of the default Qemu cpu model may vary between Qemu releases and makes it harder to correlate effects.		2023-06-16 11:24:25 +02:00
..
pbxa9
pc	qemu: set default cpu model for x86_64 explicitly	2023-06-16 11:24:25 +02:00
virt_qemu_arm_v7a
virt_qemu_arm_v8a