| /* | |
| * Copyright (c) 2025 Antmicro <www.antmicro.com> | |
| * | |
| * SPDX-License-Identifier: Apache-2.0 | |
| */ | |
| / { | |
| chosen { | |
| zephyr,console = &virtio_console; | |
| }; | |
| }; | |
| &pcie0 { | |
| virtio_pci: virtio_pci { | |
| compatible = "virtio,pci"; | |
| vendor-id = <0x1af4>; | |
| device-id = <0x1003>; | |
| interrupts = <0xb 0x0 0x0>; | |
| interrupt-parent = <&intc>; | |
| virtio_console: virtio_console { | |
| compatible = "virtio,console"; | |
| status = "okay"; | |
| }; | |
| }; | |
| }; |