target/arm/systems/raspberry-pi

   1 config ADK_TARGET_SYSTEM_RASPBERRY_PI
   2         bool "Raspberry PI"
   3         depends on ADK_TARGET_OS_LINUX || ADK_TARGET_OS_WALDUX
   4         depends on ADK_TARGET_LITTLE_ENDIAN
   5         select ADK_TARGET_CPU_ARM_ARM1176JZF_S
   6         select ADK_TARGET_BOARD_BCM28XX
   7         select ADK_TARGET_WITH_VGA
   8         select ADK_TARGET_WITH_SERIAL
   9         select ADK_TARGET_WITH_CPU_FREQ
  10         select ADK_TARGET_WITH_USB
  11         select ADK_TARGET_WITH_INPUT
  12         select ADK_TARGET_WITH_SD
  13         select ADK_TARGET_WITH_I2C
  14         select ADK_TARGET_WITH_SPI
  15         select ADK_TARGET_WITH_NET
  16         select ADK_TARGET_WITH_NETDEVICE
  17         select ADK_TARGET_WITH_BLOCK
  18         select ADK_TARGET_WITH_SOUND
  19         select ADK_PACKAGE_BCM28XX_BOOTLOADER
  20         select ADK_TARGET_WITH_ROOT_RW
  21         select ADK_TARGET_KERNEL_IMAGE
  22         help
  23           Raspberry PI
  24