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

2024-08-22 Thread Daniel Henrique Barboza
On 8/5/24 6:04 PM, Gregor Haas wrote: 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. Thi

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

2024-08-05 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 (