For information about our research on interrupt-coprocessors mitigating interrupt-related covert channels, see the new technical report "Designing a Coprocessor for Interrupt Handling on an FPGA" (by H.G.Molter, H.Shao, H.Sudbrock, H.Mantel, and S.Huss) in our publications section.