This file is indexed.

/usr/src/linux-source-3.13.0/debian.master/rules.d/arm64.mk is in linux-source-3.13.0 3.13.0-70.113.

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
human_arch	= ARMv8
build_arch	= arm64
header_arch	= arm64
defconfig	= defconfig
flavours	= generic
build_image	= Image
kernel_file	= arch/$(build_arch)/boot/Image
install_file	= vmlinuz
no_dumpfile = true

loader		= grub
vdso		= vdso_install

do_tools_cpupower = true
do_tools_perf	= true

dtb_files_generic += apm-mustang.dtb
dtb_files_generic += foundation-v8.dtb
dtb_files_generic += rtsm_ve-aemv8a.dtb