3 Commits

Author	SHA1	Message	Date
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
Johannes Schlatow	2ecb09ba7e	tool/run: move nic model to qemu_args file ... Always instantiating a network device with id `net0`, removes the need to call append_qemu_nic_args in run scripts unless we want to add forwarding rules. genodelabs/genode#4311	2021-11-29 15:10:52 +01:00
Johannes Schlatow	522a1cdc5b	tool/run: read board-specific qemu args from file ... Allow specifying additional qemu arguments for externally supported boards (e.g. zynq_qemu) by adding a `qemu_args` file in the board-property directory. The syntax of the qemu_args file is as follows: - Arguments can appear in a single line or in multiple lines as the lines will be appended (separated by a whitespace) to the global qemu_args variable. - If the line is prepended with a `foobar:` expression. The arguments are only added if the foobar spec is present. Note, that a `-m` argument specified in the qemu_args file will override the arguments provided by the run scripts. genodelabs/genode#4311	2021-11-29 15:10:52 +01:00