config ADK_TARGET_SYSTEM_RASPBERRY_PI
	bool "Raspberry PI"
	select ADK_arm
	select ADK_little
	select ADK_hard_float
	select ADK_raspberry_pi
	select ADK_CPU_ARM1176JZF_S
	select ADK_EABIHF
	select ADK_TARGET_WITH_MMC
	select ADK_TARGET_WITH_VGA
	select ADK_TARGET_WITH_USB
	select ADK_TARGET_WITH_INPUT
	select ADK_PACKAGE_BCM2835_BOOTLOADER
	select ADK_TARGET_KERNEL_ZIMAGE
	select ADK_USE_KERNEL_MINICONFIG
	help
	  Raspberry PI

