configs/raspberrypi_defconfig

   1 BR2_arm=y
   2 BR2_arm1176jzf_s=y
   3
   4 BR2_TARGET_GENERIC_GETTY_PORT="tty1"
   5
   6 # Lock to 4.0 headers as the RPi kernel stable tree is
   7 # based off the 4.0 branch
   8 BR2_KERNEL_HEADERS_VERSION=y
   9 BR2_DEFAULT_KERNEL_VERSION="4.0.6"
  10 BR2_PACKAGE_HOST_LINUX_HEADERS_CUSTOM_4_0=y
  11
  12 BR2_TOOLCHAIN_BUILDROOT_CXX=y
  13
  14 BR2_LINUX_KERNEL=y
  15 BR2_LINUX_KERNEL_CUSTOM_GIT=y
  16 BR2_LINUX_KERNEL_CUSTOM_REPO_URL="https://github.com/raspberrypi/linux.git"
  17 BR2_LINUX_KERNEL_CUSTOM_REPO_VERSION="f90f981770e3ac8506dc84c9cd01471faaa0b0c2"
  18 BR2_LINUX_KERNEL_USE_DEFCONFIG=y
  19 BR2_LINUX_KERNEL_DEFCONFIG="bcmrpi"
  20 BR2_LINUX_KERNEL_ZIMAGE=y
  21
  22 # Build the DTBs for A/B and A+/B+ from the kernel sources
  23 BR2_LINUX_KERNEL_DTS_SUPPORT=y
  24 BR2_LINUX_KERNEL_INTREE_DTS_NAME="bcm2708-rpi-b bcm2708-rpi-b-plus"
  25
  26 BR2_PACKAGE_RPI_FIRMWARE=y
  27 # BR2_PACKAGE_RPI_FIRMWARE_INSTALL_DTB_OVERLAYS is not set