Hi,

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.

Also experimented by changing the PHY_ADDR higher then 2G (0x80000000) configuration ie(0x90000000 to 0xF0000000) and (0x100000000 to 0x170000000)
while booting from the u-boot I observed KERNEL DATA abort after boot strapping the kernel. It means that this address cannot accessible in the seL4 kernel.

Case 1: 0x90000000 to 0xF0000000

sample logs:
-------------------
Bootstrapping kernel
KERNEL DATA ABORT!
Faulting instruction: 0x1ca9c
FAR: 0x90000000 ESR (DFSR): 0x96000044
halting...
Kernel entry via Interrupt, irq 0

case 2: 0x100000000 to 0x170000000

It's throwing synchronous data abort during program header extraction.

sample logs:
------------------
binaries/elf64: elf64_getNumProgramHeaders
"Synchronous Abort" handler, esr 0x96000044
ELR:     82002c8c
LR:      820031f4
x0 : 0000000100000000 x1 : 0000000000000000
x2 : 000000000022fc10 x3 : 00000000827a5d40
x4 : 0000000000000000 x5 : 00000000000db8ab
x6 : 0000000082007948 x7 : 0000000082008578
x8 : 0000000082008570 x9 : 0000000000000008
x10: 000000000000000f x11: 00000000fed87118
x12: 0000000000000047 x13: 0000000000000040
x14: 0000000000000001 x15: 00000000fed33114
x16: 0000000000000000 x17: 0000000000000000
x18: 00000000fc82ede0 x19: 00000000827a5ff0
x20: 0000000000000002 x21: 0000000082000000
x22: 00000000fc832800 x23: 0000000000000002
x24: 00000000fedaa7fc x25: 0000000000000000
x26: 0000000000000000 x27: 00000000fc8322f0
x28: 0000000000000000 x29: 00000000827a5e80

someone can give suggestion or pointers how we can bring seL4 on Jailhouse.

Regards,
Munees