Fiasco.OC port on Jailhouse

[Muneeswaran Rajendran]

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-barysmax_bachelor.pdf

Please help me out to find out.

Regards,
Munees
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20171220/c8354d15/attachment.html>