device.mk revision 4b35d1aba090b1918314072104d16f117c938528 
1ifeq ($(TARGET_PREBUILT_KERNEL),)
2LOCAL_KERNEL := prebuilt/android-x86/kernel/kernel
3else
4LOCAL_KERNEL := $(TARGET_PREBUILT_KERNEL)
5endif
6
7PRODUCT_COPY_FILES += \
8    $(LOCAL_KERNEL):kernel \
9    build/target/board/generic_x86/init.rc:root/init.rc
10