Package kernel-image-xenomai: Information

    Source package: kernel-image-xenomai
    Version: 4.19.252-alt1.cip78.23
    Build time:  Aug 4, 2022, 01:32 AM in the task #304731
    Report package bug
    License: GPL-2.0-only
    Summary: The Linux kernel (I-pipe) 4.19.252-cip78-x86-23 with Xenomai 3.1.2 real-time Cobalt core
    Description: 
    This package contains the Linux kernel 4.19.252-cip78-x86-23 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 RPM packages built from this SRPM:
    kernel-headers-modules-xenomai (x86_64)
    kernel-headers-xenomai (x86_64)
    kernel-image-xenomai (x86_64)
    kernel-image-xenomai-debuginfo (x86_64)


    List of contributors:
    Vitaly Chikunov


      1. libelf-devel
      2. gcc10
      3. gcc10-c++
      4. gcc10-plugin-devel
      5. bc
      6. rpm-build-kernel
      7. openssl-devel
      8. rpm-build-vm-run
      9. kernel-source-4.19 = 1.0.0
      10. libgmp-devel
      11. flex
      12. ltp
      13. libmpc-devel
      14. lzma-utils
      15. kmod
      16. xenomai-kernel-source >= 3.1.2
      17. iproute2
      18. libdb4-devel

    Last changed


    Aug. 3, 2022 Vitaly Chikunov 4.19.252-alt1.cip78.23
    - Update to ipipe-core-4.19.252-cip78-x86-23 (2022-08-03).
    June 20, 2022 Vitaly Chikunov 4.19.246-alt1.cip75.22
    - Update to ipipe-core-4.19.246-cip75-x86-22 (2022-06-20).
    June 11, 2022 Vitaly Chikunov 4.19.229-alt1.cip67.21
    - Update to ipipe-core-4.19.229-cip67-x86-21 (2022-02-18).