Interrupt pipes

Interrupt pipes are a kind of kernel pipes which are used by Chaos to report interrupts to the drivers and by the drivers to report that the interrupt was services and thus its message can be dismissed. But unlike other kernel pipes, the interrupt pipes have no standard names. An interrupt pipe manager (which is also a part of the kernel and has a standardly named kernel pipe associated with) is used to obtain interrupt pipes.

Interrupt pipes work closely with the Chaos realtime process scheduler ??? how ???

The interrupt handling in OSHS is performed using the interrupt message queues. When an interrupt is generated, a message is passed to its message queue. The message is then picked up by a thread in the device driver process, which can then respond to the interrupt.

Normally the threads that respond to interrupts have a very high priority (higher than the rest of the system except probably the process scheduler thread if any) and so they get CPU as soon as an interrupt arrives (and thus a message is posted to its queue).

(??? Specify the content of this message ???) (??? Specify how to obtain the interrupt pipes ???)