Re: [PATCH] Add support for generating OpenSBI domains in the device tree

2024-07-26 Thread Gregor Haas
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

Re: [PATCH] Add support for generating OpenSBI domains in the device tree

2024-07-26 Thread Daniel Henrique Barboza
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); |

[PATCH] Add support for generating OpenSBI domains in the device tree

2024-07-25 Thread Gregor Haas
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 (