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

2024-08-05 Thread Gregor Haas
Hi Daniel, Thanks for your review! I apologize for the incorrect command line -- the "size" parameter was indeed from my internal branch, building off of a patch series [1] submitted to OpenSBI. I will include a correct command line with my v3 patch. For my v3 patch, I'll also make sure to specif

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

2024-08-04 Thread Daniel Henrique Barboza
On 7/26/24 3:43 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. Th

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

2024-07-26 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 (