Fiasco.OC port on Jailhouse

Muneeswaran Rajendran m.rajendran at
Tue Dec 19 21:19:57 CET 2017


I trying to understand the porting of fiasco.OC kernel into jailhouse but
not able locate the source code of jailhouse porting code for fiasco.OC
kernel. Please share the same.

I refer this below document to get 'jailhouse/configs/fiasco-demo.c' this
file. But i do not find it.

Please help me out to find out.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the l4-hackers mailing list