Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
1 result

realtime_kernel

  • Clone with SSH
  • Clone with HTTPS
  • Forked from CeTI / ROS / Ubuntu Realtime Kernel
    30 commits behind the upstream repository.

    Realtime Kernel for Ubuntu 18.4

    These are deb packages built for Ubuntu Bionic.

    Used Kernel sources:

    • kernel linux-5.4.19-rt11_5.4.19-rt11.orig.tar.gz
    • realtime patch linux-5.4.19-rt11_5.4.19-rt11-1.diff.gz

    Kernel config:

    • Preemption Model: Fully Preemptible Kernel (RT)