2 # Config options for config.flavour.generic automatically generated by splitconfig.pl
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=y
11 CONFIG_ARCH_PHYS_ADDR_T_64BIT=y
13 CONFIG_ATA_NONSTANDARD=y
14 # CONFIG_BATMAN_ADV_BATMAN_V is not set
16 CONFIG_CXL_AFU_DRIVER_OPS=y
18 # CONFIG_DEFAULT_UIMAGE is not set
19 # CONFIG_DM_VERITY_FEC is not set
21 # CONFIG_FAT_DEFAULT_UTF8 is not set
22 CONFIG_FB_SYS_COPYAREA=y
23 CONFIG_FB_SYS_FILLRECT=y
25 CONFIG_FB_SYS_IMAGEBLIT=y
27 CONFIG_FORCE_MAX_ZONEORDER=13
28 CONFIG_GENERIC_TBSYNC=y
30 # CONFIG_HAS_RAPIDIO is not set
31 CONFIG_HAVE_BOOTMEM_INFO_NODE=y
32 CONFIG_HAVE_SETUP_PER_CPU_AREA=y
36 # CONFIG_I2C_SLAVE is not set
37 # CONFIG_IEEE802154_NL802154_EXPERIMENTAL is not set
39 # CONFIG_IWLWIFI_PCIE_RTPM is not set
40 CONFIG_KERNEL_START=0xc000000000000000
41 CONFIG_MAGIC_SYSRQ_DEFAULT_ENABLE=0x01b6
42 # CONFIG_MEDIA_CONTROLLER_DVB is not set
43 CONFIG_MEMORY_HOTPLUG=y
45 CONFIG_MPIC_U3_HT_IRQS=y
46 CONFIG_NEED_DMA_MAP_STATE=y
47 CONFIG_NEED_PER_CPU_EMBED_FIRST_CHUNK=y
48 # CONFIG_NETDEV_NOTIFIER_ERROR_INJECT is not set
49 # CONFIG_NET_ACT_IFE is not set
50 CONFIG_NONSTATIC_KERNEL=y
53 # CONFIG_ORANGEFS_FS is not set
54 # CONFIG_PAGE_EXTENSION is not set
55 CONFIG_PAGE_OFFSET=0xc000000000000000
56 CONFIG_PGTABLE_LEVELS=4
57 CONFIG_PHYS_ADDR_T_64BIT=y
60 # CONFIG_PPC_BOOK3E_64 is not set
61 CONFIG_PPC_BOOK3S_64=y
63 CONFIG_PPC_COPRO_BASE=y
65 # CONFIG_PPC_EPAPR_HV_PIC is not set
68 CONFIG_PPC_ICP_NATIVE=y
70 # CONFIG_PPC_INDIRECT_PCI is not set
71 CONFIG_PPC_MM_SLICES=y
72 # CONFIG_PPC_MPC106 is not set
73 CONFIG_PPC_OF_BOOT_TRAMPOLINE=y
78 CONFIG_RTC_DRV_DS3232=m
80 CONFIG_SCSI_SRP_ATTRS=y
81 # CONFIG_SPI_PXA2XX_PCI is not set
82 # CONFIG_TEST_BITMAP is not set
83 # CONFIG_TEST_PRINTF is not set
85 # CONFIG_WLAN_VENDOR_TI is not set
86 # CONFIG_WQ_WATCHDOG is not set