The Xenomai core deals with concurrent activities from two distinct kernels running side-by-side. More...

Detailed Description

The Xenomai core deals with concurrent activities from two distinct kernels running side-by-side.

When interrupts are involved, the services from this section control the hard interrupt state exclusively, for protecting against processor-local or SMP concurrency.

Note

In a dual kernel configuration, hard interrupts are gated by the CPU. When enabled, hard interrupts are immediately delivered to the Xenomai core if they belong to a real-time source, or deferred until enabled by a second-stage virtual interrupt mask, if they belong to regular Linux devices/sources.