config ADK_TARGET_SYSTEM_RASPBERRY_PI
	bool "Raspberry PI"
	select ADK_arm
	select ADK_little
	select ADK_eabihf
	select ADK_fpu_vfp
	select ADK_raspberry_pi
	select ADK_CPU_ARM1176JZF_S
	select ADK_TARGET_CPU_WITH_FPU
	select ADK_TARGET_WITH_VGA
	select ADK_TARGET_WITH_CPU_FREQ
	select ADK_TARGET_WITH_USB
	select ADK_TARGET_WITH_INPUT
	select ADK_TARGET_WITH_SD
	select ADK_PACKAGE_BCM2835_BOOTLOADER
	select ADK_TARGET_WITH_ROOT_RW
	select ADK_TARGET_KERNEL_ZIMAGE
	help
	  Raspberry PI