Interrupt processing, drivers, processes?

[Jan Atle Ramsli]

Da es Tasks aber trotz dieses strikten Schutzkonzeptes möglich sein muß,
eine Wirkung nach außen auszuüben, implementiert L4
Interprozeßkommunikation (IPC). 
IPC ist ein Mechanismus zum Transfer von Informationen über
Adreßraumgrenzen hinweg. 
Diese findet in L4 synchron und ungepuffert statt, das heißt, der Sender
blockiert so lange, bis der Empfänger eine Empfangsoperation ausführt
oder ein vom Sender spezifiziertes Timeout abläuft. Auf diesen
IPC-Mechanismus wird nahezu alles in L4 zurückgeführt. 

My understanding:
"Tasks have a strict security concept, but it must still be possible to
interact with the outside world, using IPC. IPC enables inter-address
space transfers.
These are synchronous and unbuffered, menaing that the sender blocks
until the receiver executes a receive operation or a timeout occurs as
sepcified by the sender. Everything in L4 rests on this IPC-mechanisem."

But I have not yet figured out: Are drivers 'processes' now? Can they be
killed?

If I ask L4 to sit on IRQ14/15 and tell me about stuff that must come in
or go out, will I be doing 'interrupt processing' when I get those
notifications?
Or will something have happened (I am a 'user') so that I can be killed
if misbehaving (I can imagine some of you hoping that could be taken
literally :-)?

Atle