config ADK_TARGET_SYSTEM_RASPBERRY_PI
	bool "Raspberry PI"
	depends on ADK_TARGET_OS_LINUX || ADK_TARGET_OS_WALDUX
	select ADK_TARGET_LITTLE_ENDIAN
	select ADK_TARGET_CPU_ARM_ARM1176JZF_S
	select ADK_TARGET_BOARD_BCM28XX
	select ADK_TARGET_WITH_VGA
	select ADK_TARGET_WITH_SERIAL
	select ADK_TARGET_WITH_CPU_FREQ
	select ADK_TARGET_WITH_USB
	select ADK_TARGET_WITH_INPUT
	select ADK_TARGET_WITH_SD
	select ADK_TARGET_WITH_I2C
	select ADK_TARGET_WITH_SPI
	select ADK_TARGET_WITH_NET
	select ADK_TARGET_WITH_NETDEVICE
	select ADK_TARGET_WITH_BLOCK
	select ADK_TARGET_WITH_SOUND
	select ADK_PACKAGE_BCM28XX_BOOTLOADER
	select ADK_TARGET_WITH_ROOT_RW
	select ADK_TARGET_KERNEL_IMAGE
	help
	  Raspberry PI