include/hw/arm/raspi_platform.h | 6 + include/hw/misc/raspberrypi-fw-defs.h | 163 ++++++++++++++++++++++++++ hw/misc/bcm2835_property.c | 112 +++++++++--------- 3 files changed, 228 insertions(+), 53 deletions(-) create mode 100644 include/hw/misc/raspberrypi-fw-defs.h