From 9005ba070bfc95fd8f03c3a59719be8e4bd32de6 Mon Sep 17 00:00:00 2001
From: Serge Schneider <serge@raspberrypi.org>
Date: Fri, 7 Jun 2019 15:58:10 +0100
Subject: [PATCH] os_list: Bump kernel to 4.19

---
 export-noobs/00-release/files/os.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/export-noobs/00-release/files/os.json b/export-noobs/00-release/files/os.json
index 4be304f..afa9f9a 100644
--- a/export-noobs/00-release/files/os.json
+++ b/export-noobs/00-release/files/os.json
@@ -1,7 +1,7 @@
 {
     "description": "NOOBS_DESCRIPTION",
     "feature_level": 35120124,
-    "kernel": "4.14",
+    "kernel": "4.19",
     "name": "NOOBS_NAME",
     "password": "raspberry",
     "release_date": "UNRELEASED",