debian.master/config/powerpc/config.flavour.powerpc-smp

   1 #
   2 # Config options for config.flavour.powerpc-smp automatically generated by splitconfig.pl
   3 #
   4 # CONFIG_6LOWPAN_GHC_EXT_HDR_DEST is not set
   5 # CONFIG_6LOWPAN_GHC_EXT_HDR_FRAG is not set
   6 # CONFIG_6LOWPAN_GHC_EXT_HDR_HOP is not set
   7 # CONFIG_6LOWPAN_GHC_EXT_HDR_ROUTE is not set
   8 # CONFIG_6LOWPAN_GHC_ICMPV6 is not set
   9 # CONFIG_6LOWPAN_GHC_UDP is not set
  10 # CONFIG_ARCH_DMA_ADDR_T_64BIT is not set
  11 # CONFIG_ARCH_PHYS_ADDR_T_64BIT is not set
  12 # CONFIG_ARCH_RANDOM is not set
  13 # CONFIG_ATA_NONSTANDARD is not set
  14 # CONFIG_BATMAN_ADV_BATMAN_V is not set
  15 # CONFIG_CRASH_DUMP is not set
  16 # CONFIG_CXL_AFU_DRIVER_OPS is not set
  17 # CONFIG_CXL_BASE is not set
  18 # CONFIG_DEFAULT_UIMAGE is not set
  19 # CONFIG_DM_VERITY_FEC is not set
  20 # CONFIG_EPAPR_BOOT is not set
  21 # CONFIG_FAT_DEFAULT_UTF8 is not set
  22 CONFIG_FB_SYS_COPYAREA=m
  23 CONFIG_FB_SYS_FILLRECT=m
  24 CONFIG_FB_SYS_FOPS=m
  25 CONFIG_FB_SYS_IMAGEBLIT=m
  26 CONFIG_FB_UDL=m
  27 CONFIG_FORCE_MAX_ZONEORDER=11
  28 CONFIG_GENERIC_TBSYNC=y
  29 CONFIG_GPIO_GENERIC=m
  30 # CONFIG_HAS_RAPIDIO is not set
  31 # CONFIG_HAVE_BOOTMEM_INFO_NODE is not set
  32 # CONFIG_HAVE_SETUP_PER_CPU_AREA is not set
  33 CONFIG_HIBERNATION=y
  34 CONFIG_HOTPLUG_CPU=y
  35 # CONFIG_HUGETLB_PAGE is not set
  36 # CONFIG_I2C_SLAVE is not set
  37 # CONFIG_IEEE802154_NL802154_EXPERIMENTAL is not set
  38 CONFIG_IMA=y
  39 # CONFIG_IWLWIFI_PCIE_RTPM is not set
  40 CONFIG_KERNEL_START=0xc0000000
  41 CONFIG_MAGIC_SYSRQ_DEFAULT_ENABLE=0x01b6
  42 # CONFIG_MEDIA_CONTROLLER_DVB is not set
  43 # CONFIG_MMIO_NVRAM is not set
  44 # CONFIG_MPIC_U3_HT_IRQS is not set
  45 # CONFIG_NEED_DMA_MAP_STATE is not set
  46 # CONFIG_NEED_PER_CPU_EMBED_FIRST_CHUNK is not set
  47 # CONFIG_NETDEV_NOTIFIER_ERROR_INJECT is not set
  48 # CONFIG_NET_ACT_IFE is not set
  49 # CONFIG_NONSTATIC_KERNEL is not set
  50 CONFIG_NR_CPUS=4
  51 # CONFIG_ORANGEFS_FS is not set
  52 CONFIG_PAGE_EXTENSION=y
  53 CONFIG_PAGE_OFFSET=0xc0000000
  54 CONFIG_PGTABLE_LEVELS=2
  55 # CONFIG_PHYS_ADDR_T_64BIT is not set
  56 # CONFIG_PPC64 is not set
  57 # CONFIG_PPC_85xx is not set
  58 # CONFIG_PPC_970_NAP is not set
  59 CONFIG_PPC_BOOK3S_32=y
  60 # CONFIG_PPC_CELL is not set
  61 # CONFIG_PPC_COPRO_BASE is not set
  62 # CONFIG_PPC_DOORBELL is not set
  63 # CONFIG_PPC_EPAPR_HV_PIC is not set
  64 CONFIG_PPC_I8259=y
  65 # CONFIG_PPC_ICP_HV is not set
  66 # CONFIG_PPC_ICP_NATIVE is not set
  67 # CONFIG_PPC_ICS_RTAS is not set
  68 CONFIG_PPC_INDIRECT_PCI=y
  69 # CONFIG_PPC_MM_SLICES is not set
  70 CONFIG_PPC_MPC106=y
  71 CONFIG_PPC_OF_BOOT_TRAMPOLINE=y
  72 # CONFIG_PPC_P7_NAP is not set
  73 CONFIG_PPC_RTAS=y
  74 # CONFIG_PPC_XICS is not set
  75 CONFIG_RTC_DRV_DS3232=m
  76 CONFIG_SCSI_SRP_ATTRS=m
  77 # CONFIG_SPI_PXA2XX_PCI is not set
  78 # CONFIG_TEST_BITMAP is not set
  79 # CONFIG_TEST_PRINTF is not set
  80 # CONFIG_WLAN_VENDOR_TI is not set
  81 # CONFIG_WQ_WATCHDOG is not set