coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
addressmap.h
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #define QEMU_VIRT_CLINT 0x02000000
4 #define QEMU_VIRT_PLIC 0x0c000000
5 #define QEMU_VIRT_UART0 0x10000000
6 #define QEMU_VIRT_VIRTIO 0x10001000
7 #define QEMU_VIRT_DRAM 0x80000000