Skip to content

  • Projects
  • Groups
  • Snippets
  • Help
    • Loading...
    • Help
    • Support
    • Submit feedback
    • Contribute to GitLab
  • Sign in
xenomai
xenomai
  • Project overview
    • Project overview
    • Details
    • Activity
    • Releases
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 4
    • Issues 4
    • List
    • Boards
    • Labels
    • Milestones
  • Analytics
    • Analytics
    • Repository
    • Value Stream
  • Wiki
    • Wiki
  • Members
    • Members
  • Collapse sidebar
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
  • xenomai
  • xenomaixenomai
  • Wiki
  • Home

Home

Last edited by Jan Kiszka Feb 05, 2020
Page history

Xenomai

Start Here

Setting Up

Programming

Help!

Contribute

Sitemap

Archive

Xenomai is a Free Software project in which engineers from a wide background collaborate to build a versatile real-time framework for the Linux© platform.

The main project goal is to help migrating industrial applications from proprietary real-time systems to Linux.

Xenomai is about making various real-time operating system APIs available to Linux-based platforms. When the target Linux kernel cannot meet the requirements with respect to response time constraints, Xenomai can also supplement it for delivering stringent real-time guarantees based on an original dual kernel approach.

Real-time core

  • Git hosting: https://xenomai.org/gitlab/xenomai

  • Clone: git://git.xenomai.org/xenomai.git

  • Maintenance branch: stable/v3.0.x

  • Development branch: master

  • Stable release: v3.1 [tarball] [sig] [tag]

  • Documentation: [HTML] [PDF]

Interrupt pipeline (I-pipe)

The Cobalt real-time core depends on a 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.

Released patches can be downloaded from: https://xenomai.org/downloads/ipipe.

The current development trees (starting from kernel 4.14) for the I-pipe are available from:

  • ARM: https://xenomai.org/gitlab/ipipe-arm

  • ARM64: https://xenomai.org/gitlab/ipipe-arm64

  • PPC32: https://xenomai.org/gitlab/ipipe-ppc32

  • x86: https://xenomai.org/gitlab/ipipe-x86

The legacy development tree (up to kernel 4.9) can be reached at this URL.

Clone repository
  • Analogy_General_Presentation
  • Analogy_Practical_Presentation
  • App_Setup_And_Init
  • Archive
  • Benchmarking_With_Xeno_Test
  • Building_Applications_For_Xenomai_3
  • Building_Debian_Packages
  • Configuring_For_X86_Based_Dual_Kernels
  • Dealing_With_X86_IRQ_Sharing
  • Dealing_With_X86_SMI_Troubles
  • Dovetail
  • Driver_Serial_16550A
  • FAQ
  • Finding_Spurious_Relaxes
  • Getting_Help
View All Pages