Add support for Raspberry PI 2

Add machine configuration file.
Change the kernel image name on SD card.
Use the defconfig for this machine (bcm2709_defconfig).

Change-Id: I6549d5f49b1ed32ef4d44aca6f7af4234618c1a8
Signed-off-by: Andrei Gherzan <andrei@gherzan.ro>
This commit is contained in:
Andrei Gherzan
2015-02-08 00:32:47 +02:00
parent dedd45f4f8
commit 54c5451a04
4 changed files with 16 additions and 1 deletions
+1
View File
@@ -33,6 +33,7 @@ KERNEL_INITRAMFS ?= ""
# Kernel image name
SDIMG_KERNELIMAGE_raspberrypi ?= "kernel.img"
SDIMG_KERNELIMAGE_raspberrypi2 ?= "kernel7.img"
# Boot partition volume id
BOOTDD_VOLUME_ID ?= "${MACHINE}"