Linux in mixed-criticality systems

Thanks a lot to the author of this article, I think using cache coloring technology on Jailhouse is a very meaningful work.