From cb7eafbe7c7c211a0682b627aa2e10b319e052df Mon Sep 17 00:00:00 2001
From: Brian Swetland <swetland@google.com>
Date: Sun, 19 Sep 2010 05:50:21 -0700
Subject: okay finally got this stupid prebuilt kernel config right...

Change-Id: Ib2721bf948a424c61d4a2a476e3f3600d7ecbfc4
---
 device.mk | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'device.mk')

diff --git a/device.mk b/device.mk
index 90627c3..42a122f 100644
--- a/device.mk
+++ b/device.mk
@@ -110,6 +110,15 @@ PRODUCT_LOCALES := hdpi
 PRODUCT_COPY_FILES += \
 	device/samsung/crespo/bcm4329.ko:system/modules/bcm4329.ko
 
+ifeq ($(TARGET_PREBUILT_KERNEL),)
+LOCAL_KERNEL := device/samsung/crespo/kernel
+else
+LOCAL_KERNEL := $(TARGET_PREBUILT_KERNEL)
+endif
+
+PRODUCT_COPY_FILES += \
+    $(LOCAL_KERNEL):kernel
+
 # See comment at the top of this file. This is where the other
 # half of the device-specific product definition file takes care
 # of the aspects that require proprietary drivers that aren't
-- 
cgit v1.1