Hi, On Thu Aug 01, 2013 at 21:38:55 +0900, Piyus Kedia wrote:

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?

Of course the kernel is saving the interrupted context to be able to resume it. Adam -- Adam adam@os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/