From 05e6fff331e31582e372fc084416ea7e270479b1 Mon Sep 17 00:00:00 2001
From: Hridya Valsaraju <hridya@google.com>
Date: Thu, 22 Feb 2018 16:08:12 -0800
Subject: [PATCH] Indicate index of device tree overlay applied for Taimen

Bug: 67779848
Test: make -j32
Change-Id: I6196805b87bebb2eef74993d3ca31e5511c3129f
---
 BoardConfig.mk | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/BoardConfig.mk b/BoardConfig.mk
index c6c51f0..4093f57 100644
--- a/BoardConfig.mk
+++ b/BoardConfig.mk
@@ -59,3 +59,7 @@ BOARD_LISA_TARGET_SCRIPTS := device/google/wahoo/lisa/
 # Rounded corners recovery UI. 105px = 30dp * 3.5 density, where 30dp comes from
 # rounded_corner_radius in overlay/frameworks/base/packages/SystemUI/res/values/dimens.xml.
 TARGET_RECOVERY_UI_MARGIN_HEIGHT := 105
+
+# VTS DTBO Verification. This kernel cmdline parameter should be added by the bootloader
+# for all future devices.
+BOARD_KERNEL_CMDLINE += androidboot.dtbo_idx=12