From adc157f0c023c0344176857bfaf0d3da40e7fa0b Mon Sep 17 00:00:00 2001
From: Samuel Dionne-Riel <samuel@dionne-riel.com>
Date: Sun, 24 May 2020 18:39:58 -0400
Subject: [PATCH] xiaomi-tissot: Fix for new kernel package option

---
 devices/xiaomi-tissot/default.nix | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

diff --git a/devices/xiaomi-tissot/default.nix b/devices/xiaomi-tissot/default.nix
index d464414d..95513c65 100644
--- a/devices/xiaomi-tissot/default.nix
+++ b/devices/xiaomi-tissot/default.nix
@@ -7,11 +7,6 @@
     manufacturer = "Xiaomi";
   };
 
-  mobile.device.info = {
-    # TODO : make kernel part of options.
-    kernel = pkgs.callPackage ./kernel { kernelPatches = pkgs.defaultKernelPatches; };
-  };
-
   mobile.hardware = {
     soc = "qualcomm-msm8953";
     ram = 1024 * 4;
@@ -20,6 +15,10 @@
     };
   };
 
+  mobile.boot.stage-1 = {
+    kernel.package = pkgs.callPackage ./kernel { kernelPatches = pkgs.defaultKernelPatches; };
+  };
+
   mobile.system.android = {
     bootimg.flash = {
       offset_base = "0x80000000";