From 896051dc441c293bc2f5dbfa2e5eaf66ca997627 Mon Sep 17 00:00:00 2001
From: jgoutin <jgoutin@accelize.com>
Date: Thu, 3 Oct 2019 17:12:03 +0200
Subject: [PATCH] Fix XRT kernel version for Ubuntu Bionic.

---
 defaults/main.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/defaults/main.yml b/defaults/main.yml
index 4851250..d1fd5c4 100644
--- a/defaults/main.yml
+++ b/defaults/main.yml
@@ -54,7 +54,8 @@ xrt_kernel_spec:
       '2018.2': 3.10.0-957
   Debian:
     bionic:
-      '2019.1': 4.18.0
+      '2018.3': 4.18.0
+      '2018.2': 4.18.0
 
 xrt_linux_kernel_version: "{{ xilinx_xrt_version | string |
                            xrt_kernel(xrt_kernel_spec, ansible_facts)}}"