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

2024-09-19 Thread Gregor Haas
Hi Drew, On Tue, Sep 17, 2024 at 5:45 AM Andrew Jones wrote: > > On Mon, Sep 09, 2024 at 01:27:05PM GMT, Alistair Francis wrote: > > On Tue, Aug 6, 2024 at 7:05 AM Gregor Haas wrote: > > > > > > This patch series adds support for specifying OpenSBI domains on the QEMU > > > command line. A simpl

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

2024-09-17 Thread Andrew Jones
On Mon, Sep 09, 2024 at 01:27:05PM GMT, Alistair Francis wrote: > On Tue, Aug 6, 2024 at 7:05 AM Gregor Haas wrote: > > > > This patch series adds support for specifying OpenSBI domains on the QEMU > > command line. A simple example of what this looks like is below, including > > mapping the board

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

2024-09-10 Thread Alistair Francis
On Wed, Sep 11, 2024 at 7:08 AM Gregor Haas wrote: > > Hi Alistair! > > On Sun, Sep 8, 2024 at 8:27 PM Alistair Francis wrote: >> >> On Tue, Aug 6, 2024 at 7:05 AM Gregor Haas wrote: >> > >> > This patch series adds support for specifying OpenSBI domains on the QEMU >> > command line. A simple e

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

2024-09-10 Thread Gregor Haas
Hi Alistair! On Sun, Sep 8, 2024 at 8:27 PM Alistair Francis wrote: > On Tue, Aug 6, 2024 at 7:05 AM Gregor Haas > wrote: > > > > This patch series adds support for specifying OpenSBI domains on the QEMU > > command line. A simple example of what this looks like is below, > including > > mappin

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

2024-09-08 Thread Alistair Francis
On Tue, Aug 6, 2024 at 7:05 AM Gregor Haas wrote: > > This patch series adds support for specifying OpenSBI domains on the QEMU > command line. A simple example of what this looks like is below, including > mapping the board's UART into the secondary domain: Thanks for the patch, sorry it took me

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

2024-08-22 Thread Gregor Haas
Hi Daniel, That's correct -- I believe this [1] patch on the OpenSBI mailing list addresses this issue. I am currently waiting for it to be reviewed. Thanks, Gregor [1] http://lists.infradead.org/pipermail/opensbi/2024-August/007240.html On Thu, Aug 22, 2024 at 2:49 PM Daniel Henrique Barboza <

Re: [PATCH v3 0/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: This patch series adds support for specifying OpenSBI domains on the QEMU command line. A simple example of what this looks like is below, including mapping the board's UART into the secondary domain: qemu-system-riscv64 -machine virt -bios fw_jump.bin -c

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

2024-08-05 Thread Gregor Haas
This patch series adds support for specifying OpenSBI domains on the QEMU command line. A simple example of what this looks like is below, including mapping the board's UART into the secondary domain: qemu-system-riscv64 -machine virt -bios fw_jump.bin -cpu max -smp 2 -m 4G -nographic \ -