openadk/target/arm/sys-available/raspberry-pi

config ADK_TARGET_SYSTEM_RASPBERRY_PI
	bool "Raspberry PI"
	select ADK_arm
	select ADK_little
	select ADK_raspberry_pi
	select ADK_KERNEL_ARCH_BCM2708
	select ADK_KERNEL_AEABI
	select ADK_KERNEL_PREEMPT
	select ADK_KERNEL_VFP
	select ADK_EABIHF
	select ADK_CPU_RASPBERRY_PI
	select ADK_TARGET_WITH_MMC
	select ADK_TARGET_WITH_VGA
	select ADK_TARGET_WITH_USB
	select ADK_TARGET_WITH_INPUT
	select ADK_PACKAGE_BCM2835_FIRMWARE
	select ADK_PACKAGE_BCM2835_VC
	select ADK_KERNEL_SWAP
	help
	  Raspberry PI