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.

Regards,

Munees