Hi, I read "Improving Interrupt Response Time in a Verifiable Protected
Microkernel" paper.
This paper improved IPC performance by using cache pinning and I want to
know how to implement cache pinnng.
But this paper doesn't refer how to manipulate cache lines.
Would you give me some methods how to read cache lines and write cache
lines?