diff options
| -rw-r--r-- | target/arm/kernel/raspberry-pi | 17 | ||||
| -rw-r--r-- | target/arm/sys-available/raspberry-pi | 1 | ||||
| -rw-r--r-- | target/config/Config.in | 1 | ||||
| -rw-r--r-- | target/linux/kernel.config | 1 |
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 |