On 12 Dec 2017, at 14:52, Muneeswaran Rajendran <m.rajendran@matellio.com> wrote:

I would like to bring up seL4 on inmate cell of Tx1. The jailhouse is running successfully on Tx1 board. I have created root cell and not root cell configuration on jailhouse.

I able to load seL4 image successfully on inmate cell then during execution its stuck in the while extracting the program header.

I checked with jailhouse forum they suggested some one might have ported seL4 or L4 kernel on jailhouse.also informed that seL4 kernel need to rebuild with some patches.

Somehow I do not find the patches for seL4 or Fiasco.OC kernel to bring up on jailhouse.Please share links if you any.

I’m sure there are no such patches because no-one bothered.

I wonder why you’d want to do such a thing. Jailhouse is a big, untrustworthy hypervisor. Running a trustworthy kernel on top means you end up with something entirely trustworthy, so why bother with seL4 in the first place? There’ll be less painful ways to get no assurance.