v2:
- Addressed review comments from v1. Specifically, renamed domain.{c,h} ->
opensbi_domain.{c,h} to increase clarity of what these files do. Also, more
consistently use g_autofree for dynamically allocated variables
- Added an "assign" flag to OpenSBIDomainState, which indicates whether to
assign the domain's boot hart to it at domain parsing time.
Gregor Haas (1):
Add support for generating OpenSBI domains in the device tree
MAINTAINERS | 7 +
hw/riscv/Kconfig | 4 +
hw/riscv/meson.build | 1 +
hw/riscv/opensbi_domain.c | 428 ++++++++++++++++++++++++++++++
hw/riscv/virt.c | 3 +
include/hw/riscv/opensbi_domain.h | 51 ++++
6 files changed, 494 insertions(+)
create mode 100644 hw/riscv/opensbi_domain.c
create mode 100644 include/hw/riscv/opensbi_domain.h
--
2.45.2