mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-22 04:52:56 +01:00
This is necessary because in contrast to the zynq boards (see specs in genode-world), only zynq_qemu uses UART_0. These files should thus fall under the zynq_qemu spec. Fixes #2615