config ADK_TARGET_SYSTEM_RASPBERRY_PI
	bool "Raspberry PI"
	select ADK_arm
	select ADK_little
	select ADK_raspberry_pi
	select ADK_KERNEL_ARCH_BCM2835
	select ADK_KERNEL_AEABI
	select ADK_EABIHF
	select ADK_TARGET_WITH_MMC
	select ADK_CPU_RASPBERRY_PI
	help
	  Raspberry PI