This file is indexed.

/usr/src/linux-source-3.13.0/debian.master/config/powerpc/config.flavour.powerpc64-emb is in linux-source-3.13.0 3.13.0-142.191.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
#
# Config options for config.flavour.powerpc64-emb automatically generated by splitconfig.pl
#
CONFIG_ARCH_DMA_ADDR_T_64BIT=y
CONFIG_ARCH_PHYS_ADDR_T_64BIT=y
# CONFIG_ARCH_RANDOM is not set
# CONFIG_ATA_NONSTANDARD is not set
CONFIG_DEFAULT_UIMAGE=y
CONFIG_EPAPR_BOOT=y
CONFIG_FB_SYS_COPYAREA=y
CONFIG_FB_SYS_FILLRECT=y
CONFIG_FB_SYS_FOPS=y
CONFIG_FB_SYS_IMAGEBLIT=y
CONFIG_FB_UDL=y
CONFIG_FORCE_MAX_ZONEORDER=13
# CONFIG_FSL_FMAN is not set
CONFIG_FSL_QMAN_FQ_LOOKUP=y
CONFIG_FSL_RIO=y
# CONFIG_FSL_ULI1575 is not set
# CONFIG_GE_FPGA is not set
CONFIG_HAS_FSL_QBMAN=y
CONFIG_HAS_RAPIDIO=y
CONFIG_HAVE_SETUP_PER_CPU_AREA=y
# CONFIG_HIBERNATION is not set
CONFIG_HUGETLB_PAGE=y
CONFIG_KERNEL_START=0xc000000000000000
# CONFIG_MMIO_NVRAM is not set
# CONFIG_MPIC_U3_HT_IRQS is not set
CONFIG_NEED_DMA_MAP_STATE=y
CONFIG_NEED_PER_CPU_EMBED_FIRST_CHUNK=y
CONFIG_NONSTATIC_KERNEL=y
CONFIG_NO_HZ_IDLE=y
CONFIG_NR_CPUS=8
# CONFIG_NUMA is not set
CONFIG_PAGE_OFFSET=0xc000000000000000
CONFIG_PHYS_ADDR_T_64BIT=y
CONFIG_PPC64=y
# CONFIG_PPC_970_NAP is not set
CONFIG_PPC_BOOK3E_64=y
# CONFIG_PPC_BOOK3S_64 is not set
# CONFIG_PPC_CELL is not set
CONFIG_PPC_DOORBELL=y
CONFIG_PPC_EPAPR_HV_PIC=y
# CONFIG_PPC_HAS_HASH_64K is not set
# CONFIG_PPC_I8259 is not set
# CONFIG_PPC_ICP_HV is not set
CONFIG_PPC_ICP_NATIVE=y
# CONFIG_PPC_ICS_RTAS is not set
CONFIG_PPC_INDIRECT_PCI=y
# CONFIG_PPC_MM_SLICES is not set
# CONFIG_PPC_MPC106 is not set
# CONFIG_PPC_OF_BOOT_TRAMPOLINE is not set
# CONFIG_PPC_P7_NAP is not set
# CONFIG_PPC_RTAS is not set
CONFIG_PPC_WSP=y
CONFIG_PPC_XICS=y
CONFIG_RCU_FANOUT=32
# CONFIG_RCU_NOCB_CPU is not set
CONFIG_RTC_DRV_DS3232=y
# CONFIG_SCHED_SMT is not set
# CONFIG_SCOM_DEBUGFS is not set
CONFIG_SCSI_SRP_ATTRS=m
# CONFIG_SPARSEMEM_MANUAL is not set
# CONFIG_TICK_CPU_ACCOUNTING is not set
# CONFIG_U3_DART is not set
CONFIG_USB_OTG=y
CONFIG_WORD_SIZE=64