Ubuntu 18.04 Realtime Kernel

Scripts to compile a patched x86_64 realtime kernel for Ubuntu 18.04 (Bionic Beaver). Debian packages available as CI artifacts. This kernel is required to control a Panda robot.