Thanks. I will use the ivshmem devices structure then.
> On 2018-04-09 18:51, Giovani Gracioli wrote:
> > Hello,
> >
> > I would like to send an IPI from the root cell (Linux) to an inmate cell on
> > arm64. I know Jailhouse isolates the physical cores and would not allow to
> > send an IPI to
On 2018-04-09 18:51, Giovani Gracioli wrote:
> Hello,
>
> I would like to send an IPI from the root cell (Linux) to an inmate cell on
> arm64. I know Jailhouse isolates the physical cores and would not allow to
> send an IPI to a CPU that does not belong to the cell. However, I would like
> to
