Hi Munees, On 12 Dec 2017, at 14:52, Muneeswaran Rajendran <[email protected]<mailto:[email protected]>> 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. Gernot
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
