Fwd: Interrupt Handlers

[Piyus Kedia]

Hi All,

I am working on dynamic binary translator. Please tell me if anybody know
if in L4-microkernel interrupted kernel PC is ever used in interrupt
handlers?

Thanks and regards,
Piyus
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20130801/d2c0b603/attachment.html>