Установка:

Для установки xenomai-kernel-source в Ubuntu / Linux Mint, введите в Терминал:

sudo apt update
sudo apt install xenomai-kernel-source
Dzen
xenomai-kernel-source — Патчи ядра Linux для Xenomai

Подробная информация о пакете:

Патчи ядра Linux для Xenomai

  • Зависимости:

  • fakeroot

    Инструмент для моделирования привилегий суперпользователя

  • kernel-package

    Утилита для создания пакетов Debian для ядра Linux

  • libxenomai-dev

    Заголовки и статические библиотеки для Xenomai

  • zlib1g-dev

    Библиотека сжатия - разработка

  • libncurses-dev