1/*
2 * Copyright (c) 2025 Antmicro <www.antmicro.com>
3 *
4 * SPDX-License-Identifier: Apache-2.0
5 */
6
7/ {
8	chosen {
9		zephyr,console = &virtio_console;
10	};
11};
12
13&pcie0 {
14	virtio_pci: virtio_pci {
15		compatible = "virtio,pci";
16
17		vendor-id = <0x1af4>;
18		device-id = <0x1003>;
19
20		interrupts = <0xb 0x0 0x0>;
21		interrupt-parent = <&intc>;
22
23		virtio_console: virtio_console {
24			compatible = "virtio,console";
25			status = "okay";
26		};
27	};
28};
29