Hi,
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.
https://rtime.felk.cvut.cz/~sojka/students/F3-BP-2016-Baryshnikov-Maxim-bary...
Please help me out to find out.
Regards, Munees
l4-hackers@os.inf.tu-dresden.de