This file is indexed.

/usr/share/ltsp/plugins/ltsp-build-client/Ubuntu/020-kernel-selection is in ltsp-server 5.4.2-6+deb7u1.

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
case "$MODE" in
    finalization)
        case $ARCH in
            amd64)
                KERNEL_ARCH="generic"
            ;;

            i386)
                # We ideally want non-PAE but install media
                # doesn't have it, so use PAE in that case
                chroot $ROOT apt-cache show linux-image-generic 2> /dev/null > /dev/null && \
                    KERNEL_ARCH="generic" || KERNEL_ARCH="generic-pae"
            ;;

            sparc)
                KERNEL_ARCH="$(uname -m)"
            ;;

            armel)
                KERNEL_ARCH="imx51"
            ;;

            *)
                KERNEL_ARCH="$ARCH"
            ;;
        esac
        LATE_PACKAGES="$LATE_PACKAGES linux-image-$KERNEL_ARCH"
    ;;
esac