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	platform_drv: separate devices info from config	2022-05-25 12:19:32 +02:00
pc	qemu: set default cpu model for x86_64 explicitly	2023-06-16 11:24:25 +02:00
virt_qemu_arm_v7a	board: Rename virt_qemu to virt_qemu_<arch>	2022-08-17 12:03:26 +02:00
virt_qemu_arm_v8a	board: Rename virt_qemu to virt_qemu_<arch>	2022-08-17 12:03:26 +02:00