4 files changed, 20 insertions, 0 deletions

diff --git a/target/arm/kernel/raspberry-pi b/target/arm/kernel/raspberry-pi
new file mode 100644
index 000000000..82f9b77a8
--- /dev/null
+++ b/target/arm/kernel/raspberry-pi
@@ -0,0 +1,17 @@
+CONFIG_ARM=y
+CONFIG_FIQ=y
+CONFIG_ARM_PATCH_PHYS_VIRT=y
+CONFIG_HIGH_RES_TIMERS=y
+CONFIG_TREE_PREEMPT_RCU=y
+CONFIG_PREEMPT_RCU=y
+CONFIG_ARCH_BCM2708=y
+CONFIG_MACH_BCM2708=y
+CONFIG_BCM2708_GPIO=y
+CONFIG_BCM2708_VCMEM=y
+CONFIG_BCM2708_DMAER=y
+CONFIG_PREEMPT=y
+CONFIG_AEABI=y
+CONFIG_VFP=y
+CONFIG_DTC=y
+CONFIG_OF=y
+CONFIG_BCM2708_VCHIQ=y
diff --git a/target/arm/sys-available/raspberry-pi b/target/arm/sys-available/raspberry-pi
index 3fa60178e..3f9d978f1 100644
--- a/target/arm/sys-available/raspberry-pi
+++ b/target/arm/sys-available/raspberry-pi
@@ -15,6 +15,7 @@ config ADK_TARGET_SYSTEM_RASPBERRY_PI
 	select ADK_TARGET_WITH_INPUT
 	select ADK_PACKAGE_BCM2835_FIRMWARE
 	select ADK_TARGET_KERNEL_ZIMAGE
+	select ADK_USE_KERNEL_MINICONFIG
 	help
 	  Raspberry PI
 
diff --git a/target/config/Config.in b/target/config/Config.in
index 970bd8516..2b9d0f396 100644
--- a/target/config/Config.in
+++ b/target/config/Config.in
@@ -162,6 +162,7 @@ config ADK_TARGET_KERNEL_MINICONFIG
 	default "qemu-ppc64" if ADK_TARGET_SYSTEM_QEMU_PPC64
 	default "qemu-sparc" if ADK_TARGET_SYSTEM_QEMU_SPARC
 	default "qemu-i686" if ADK_TARGET_SYSTEM_QEMU_I686
+	default "raspberry-pi" if ADK_TARGET_SYSTEM_RASPBERRY_PI
 
 choice
 prompt "Qemu MICROBLAZE Emulation"
diff --git a/target/linux/kernel.config b/target/linux/kernel.config
index 8bf3aafe6..491b04c92 100644
--- a/target/linux/kernel.config
+++ b/target/linux/kernel.config
@@ -26,6 +26,7 @@ CONFIG_DEVTMPFS_MOUNT=y
 CONFIG_STANDALONE=y
 CONFIG_NO_HZ=y
 CONFIG_PRINTK=y
+CONFIG_CC_OPTIMIZE_FOR_SIZE=y
 CONFIG_BUG=n
 CONFIG_FUTEX=y
 CONFIG_EPOLL=y