RE: [PATCH 1/2] arm: irqchip: add lock in irqchip_inject_pending

Hi Jan, > -Original Message- > From: Jan Kiszka > Sent: 2019年12月3日 17:18 > To: Peng Fan ; jailhouse-dev@googlegroups.com > Cc: Alice Guo > Subject: Re: [PATCH 1/2] arm: irqchip: add lock in irqchip_inject_pending > > On 03.12.19 10:15, Peng Fan wrote: > >> Subject: Re: [PATCH 1/2] arm:

Re: Zephyr as a Jailhouse inmate

On 02.12.19 19:43, Manivannan Sadhasivam wrote: > Hello, > > I can see that the Zephyr RTOS has been mentioned in the FAQ as > one of the ported OS for non-root cells. > > Is there any reference code I can look into? There is x86 support for Zephyr as Jailhouse "inmate". Check out

Re: Zephyr as a Jailhouse inmate

Hi Jan, On Thu, Dec 5, 2019 at 12:36 PM Jan Kiszka wrote: > On 02.12.19 19:43, Manivannan Sadhasivam wrote: > > Hello, > > > > I can see that the Zephyr RTOS has been mentioned in the FAQ as > > one of the ported OS for non-root cells. > > > > Is there any reference code I can look into? > >

Re: Zephyr as a Jailhouse inmate

On 05.12.19 08:14, Mani Sadhasivam wrote: > Hi Jan, > > On Thu, Dec 5, 2019 at 12:36 PM Jan Kiszka > wrote: > > On 02.12.19 19:43, Manivannan Sadhasivam wrote: > > Hello, > > > > I can see that the Zephyr RTOS has been mentioned in the FAQ as >