This file is indexed.

/etc/default/kboot is in kboot-utils 0.4-1.

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
# If you change this file, run 'update-kboot' afterwards to update
# /etc/kboot.conf.
# For full documentation of the options in this file, see:
#   man 8 update-kboot

KBOOT_TIMEOUT=5
KBOOT_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`

# 480i = ps3fb:mode:1
# 576i = ps3fb:mode:6
# 720p = ps3fb:mode:3
# 1080i = ps3fb:mode:4
# 1080p = ps3fb:mode:5

# This entry is NOT used on RECOVERY kernels
KBOOT_CMDLINE_LINUX_DEFAULT="quiet"
# This entry is used for all kernels
KBOOT_CMDLINE_LINUX="video=ps3fb:mode:6"

# Uncomment to disable generation of recovery mode menu entries
#KBOOT_DISABLE_RECOVERY="true"