Package kernel-image-xenomai: Information

Source package: kernel-image-xenomai

Version: 4.19.207-alt1.cip58.20

Build time:  Nov 13, 2021, 07:55 PM in the task #289729

Category: System/Kernel and hardware

Gear: https://git.altlinux.org/gears/k/kernel-image-xenomai.git?a=tree…

Home page: https://xenomai.org/

License: GPL-2.0-only

Summary: The Linux kernel (I-pipe) 4.19.207-cip58-x86-20 with Xenomai 3.1.2 real-time Cobalt core

Description: 

This package contains the Linux kernel 4.19.207-cip58-x86-20 with Xenomai
real-time Cobalt and Interrupt pipeline (I-pipe) patches.

Xenomai brings POSIX and traditional RTOS APIs for porting time-critical
applications to Linux-based platforms. When the native Linux kernel cannot meet
the response time requirements of the application, Xenomai supplements it with
Cobalt, a small real-time infrastructure which schedules time-critical
activities independently from the main kernel logic.

The Cobalt real-time core depends on the Interrupt pipeline (I-pipe) patch to
the mainline Linux kernel, which introduces a separate, high-priority execution
stage for running out-of-band interrupt handlers immediately upon IRQ receipt,
which cannot be delayed by the regular kernel work.

CIP kernels are Super Long Term Service (SLTS) kernels maintained by the Civil
Infrastructure Platform (CIP) Project, which is open source project hosted by
The Linux Foundation.

List of rpms provided by this srpm:
kernel-headers-modules-xenomai (x86_64)
kernel-headers-xenomai (x86_64)
kernel-image-xenomai (x86_64)
kernel-image-xenomai-debuginfo (x86_64)

Maintainer: Kernel Maintainer Team