Hi Daniel,
Oops! Sorry about the build failure - slightly embarrassing on my part!
> +RISC-V OpenSBI domain support
> > +M: Gregor Haas
> > +L: qemu-ri...@nongnu.org
> > +S: Maintained
> > +F: hw/riscv/domain.c
> > +F: include/hw/riscv/domain.h
>
> I suggest 'opensbi_domain.c' and 'opensbi_domai
Hi Gregor,
This patch doesn't build in my env. Here's the error:
./hw/riscv/virt.c
../hw/riscv/virt.c: In function ‘finalize_fdt’:
../hw/riscv/virt.c:1056:32: error: ‘ms’ undeclared (first use in this
function); did you mean ‘s’?
1056 | create_fdt_opensbi_domains(ms);
|
OpenSBI has support for domains, which are partitions of CPUs and memory into
isolated compartments. Domains can be specified in the device tree according to
a standardized format [1], which OpenSBI parses at boot time to initialize all
system domains. This patch enables simply specifying domains (