target/aarch64/systems/raspberry-pi4-64

   1 config ADK_TARGET_SYSTEM_RASPBERRY_PI4_64
   2         bool "Raspberry PI 4"
   3         select ADK_TARGET_LITTLE_ENDIAN
   4         select ADK_TARGET_CPU_AARCH64_CORTEX_A72
   5         select ADK_TARGET_BOARD_BCM28XX
   6         select ADK_TARGET_WITH_VGA
   7         select ADK_TARGET_WITH_SERIAL
   8         select ADK_TARGET_WITH_CPU_FREQ
   9         select ADK_TARGET_WITH_USB
  10         select ADK_TARGET_WITH_INPUT
  11         select ADK_TARGET_WITH_SD
  12         select ADK_TARGET_WITH_I2C
  13         select ADK_TARGET_WITH_SPI
  14         select ADK_TARGET_WITH_SMP
  15         select ADK_TARGET_WITH_NET
  16         select ADK_TARGET_WITH_NETDEVICE
  17         select ADK_TARGET_WITH_WIFI
  18         select ADK_TARGET_WITH_BLOCK
  19         select ADK_TARGET_WITH_SOUND
  20         select ADK_TARGET_WITH_SDIO
  21         select ADK_PACKAGE_BCM28XX_BOOTLOADER
  22         select ADK_TARGET_WITH_ROOT_RW
  23         select ADK_TARGET_KERNEL_IMAGE
  24         help
  25           Raspberry PI 4 (AARCH64)
  26