all options
sid  ]
[ Source: xenomai  ]

Package: xenomai-kernel-source (2.6.4+dfsg-1)

Links for xenomai-kernel-source


Debian Resources:

Download Source Package xenomai:


External Resources:

Similar packages:

Linux kernel patches for Xenomai

Xenomai is a real-time development framework cooperating with the Linux kernel in order to provide a pervasive, interface-agnostic, hard real-time support to user-space applications, seamlessly integrated into the GNU/Linux environment. Xenomai provides its own API and emulation layers ("skins") to make migration from other RTOS easier. Examples are: pSOS+, VxWorks, VRTX, uiTRON, RTAI, POSIX.

This package contains patches for 2.6 series kernels - These are intended for use with kernel-package and a virgin Linux source tree. Note: These patches include the base adeos-ipipe patch along with all the additional material normally added by the script.

This package contains the following patches:

Tags: Interface Toolkit: Ncurses TUI

Other Packages Related to xenomai-kernel-source

  • depends
  • recommends
  • suggests
  • enhances

Download xenomai-kernel-source

Download for all available architectures
Architecture Package Size Installed Size Files
all 1,093.1 kB12,924.0 kB [list of files]