Package kernel-image-xenomai: Information

    Source package: kernel-image-xenomai
    Version: 4.19.152-alt1.cip37.15
    Build time:  Dec 7, 2020, 08:22 PM in the task #261560
    Report package bug
    License: GPL-2.0-only
    Summary: The Linux kernel (I-pipe) 4.19.152-cip37-x86-15 with Xenomai 3.1 real-time Cobalt core
    Description: 
    This package contains the Linux kernel 4.19.152-cip37-x86-15 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. gcc8
      2. gcc8-c++
      3. gcc8-plugin-devel
      4. rpm-build-kernel
      5. libgmp-devel
      6. kernel-source-4.19 = 1.0.0
      7. rpm-build-vm-run
      8. openssl-devel
      9. dev86
      10. bc
      11. lzma-utils
      12. xenomai-kernel-source >= 3.1
      13. flex
      14. module-init-tools >= 3.16
      15. libdb4-devel
      16. libelf-devel
      17. libmpc-devel

    Last changed


    Nov. 12, 2020 Vitaly Chikunov 4.19.152-alt1.cip37.15
    - Update to ipipe-core-4.19.152-cip37-x86-15 (released 2020-11-09)
    Sept. 26, 2020 Vitaly Chikunov 4.19.140-alt2.cip33.14
    - Fix depmod (modules.*) indices packaging.
    Sept. 24, 2020 Vitaly Chikunov 4.19.140-alt1.cip33.14
    - Update to ipipe-core-4.19.140-cip33-x86-14 (2020-09-11).
    - Config changes.
    - spec: Use vm-run to boot test.