[bootlin/training-materials updates] master: boot-time labs: update linux-6.1-beaglecam-reduced.config (0508611b)

[Michael Opdenacker]

Repository : https://github.com/bootlin/training-materials
On branch  : master
Link       : https://github.com/bootlin/training-materials/commit/0508611b46ff6001b742d711e33cf748016329d1

>---------------------------------------------------------------

commit 0508611b46ff6001b742d711e33cf748016329d1
Author: Michael Opdenacker <michael.opdenacker at bootlin.com>
Date:   Fri Jun 16 16:41:58 2023 +0200

    boot-time labs: update linux-6.1-beaglecam-reduced.config
    
    Was not using the latest version
    
    Signed-off-by: Michael Opdenacker <michael.opdenacker at bootlin.com>


>---------------------------------------------------------------

0508611b46ff6001b742d711e33cf748016329d1
 .../kernel/data/linux-6.1-beaglecam-reduced.config | 25 +++++-----------------
 1 file changed, 5 insertions(+), 20 deletions(-)

diff --git a/lab-data/boot-time/kernel/data/linux-6.1-beaglecam-reduced.config b/lab-data/boot-time/kernel/data/linux-6.1-beaglecam-reduced.config
index e4719122..be54551f 100644
--- a/lab-data/boot-time/kernel/data/linux-6.1-beaglecam-reduced.config
+++ b/lab-data/boot-time/kernel/data/linux-6.1-beaglecam-reduced.config
@@ -38,10 +38,10 @@ CONFIG_HAVE_KERNEL_XZ=y
 CONFIG_HAVE_KERNEL_LZO=y
 CONFIG_HAVE_KERNEL_LZ4=y
 # CONFIG_KERNEL_GZIP is not set
-CONFIG_KERNEL_LZMA=y
+# CONFIG_KERNEL_LZMA is not set
 # CONFIG_KERNEL_XZ is not set
 # CONFIG_KERNEL_LZO is not set
-# CONFIG_KERNEL_LZ4 is not set
+CONFIG_KERNEL_LZ4=y
 CONFIG_DEFAULT_INIT=""
 CONFIG_DEFAULT_HOSTNAME="(none)"
 # CONFIG_SYSVIPC is not set
@@ -110,8 +110,6 @@ CONFIG_TINY_SRCU=y
 # end of RCU Subsystem
 
 # CONFIG_IKCONFIG is not set
-CONFIG_LOG_BUF_SHIFT=17
-CONFIG_PRINTK_SAFE_LOG_BUF_SHIFT=13
 CONFIG_GENERIC_SCHED_CLOCK=y
 
 #
@@ -151,7 +149,7 @@ CONFIG_EXPERT=y
 CONFIG_SYSFS_SYSCALL=y
 CONFIG_FHANDLE=y
 CONFIG_POSIX_TIMERS=y
-CONFIG_PRINTK=y
+# CONFIG_PRINTK is not set
 # CONFIG_BUG is not set
 CONFIG_BASE_FULL=y
 CONFIG_FUTEX=y
@@ -383,10 +381,9 @@ CONFIG_HZ_100=y
 # CONFIG_HZ_1000 is not set
 CONFIG_HZ=100
 CONFIG_SCHED_HRTICK=y
-# CONFIG_THUMB2_KERNEL is not set
+CONFIG_THUMB2_KERNEL=y
 CONFIG_ARM_PATCH_IDIV=y
 CONFIG_AEABI=y
-# CONFIG_OABI_COMPAT is not set
 CONFIG_ARCH_SELECT_MEMORY_MODEL=y
 CONFIG_ARCH_FLATMEM_ENABLE=y
 CONFIG_ARCH_SPARSEMEM_ENABLE=y
@@ -484,7 +481,6 @@ CONFIG_HAVE_EFFICIENT_UNALIGNED_ACCESS=y
 CONFIG_ARCH_USE_BUILTIN_BSWAP=y
 CONFIG_HAVE_KPROBES=y
 CONFIG_HAVE_KRETPROBES=y
-CONFIG_HAVE_OPTPROBES=y
 CONFIG_HAVE_NMI=y
 CONFIG_TRACE_IRQFLAGS_SUPPORT=y
 CONFIG_HAVE_ARCH_TRACEHOOK=y
@@ -863,7 +859,6 @@ CONFIG_SERIAL_CORE_CONSOLE=y
 # CONFIG_SERIAL_XILINX_PS_UART is not set
 # CONFIG_SERIAL_ARC is not set
 # CONFIG_SERIAL_FSL_LPUART is not set
-# CONFIG_SERIAL_FSL_LINFLEXUART is not set
 # CONFIG_SERIAL_CONEXANT_DIGICOLOR is not set
 # CONFIG_SERIAL_ST_ASC is not set
 # CONFIG_SERIAL_SPRD is not set
@@ -2109,10 +2104,7 @@ CONFIG_FRAMEBUFFER_CONSOLE_ROTATION=y
 # CONFIG_FRAMEBUFFER_CONSOLE_DEFERRED_TAKEOVER is not set
 # end of Console display driver support
 
-CONFIG_LOGO=y
-CONFIG_LOGO_LINUX_MONO=y
-CONFIG_LOGO_LINUX_VGA16=y
-CONFIG_LOGO_LINUX_CLUT224=y
+# CONFIG_LOGO is not set
 # end of Graphics support
 
 # CONFIG_SOUND is not set
@@ -3085,15 +3077,9 @@ CONFIG_GENERIC_LIB_DEVMEM_IS_ALLOWED=y
 #
 # printk and dmesg options
 #
-# CONFIG_PRINTK_TIME is not set
-# CONFIG_PRINTK_CALLER is not set
-# CONFIG_STACKTRACE_BUILD_ID is not set
 CONFIG_CONSOLE_LOGLEVEL_DEFAULT=7
 CONFIG_CONSOLE_LOGLEVEL_QUIET=4
 CONFIG_MESSAGE_LOGLEVEL_DEFAULT=4
-# CONFIG_BOOT_PRINTK_DELAY is not set
-# CONFIG_DYNAMIC_DEBUG is not set
-# CONFIG_DYNAMIC_DEBUG_CORE is not set
 CONFIG_SYMBOLIC_ERRNAME=y
 # end of printk and dmesg options
 
@@ -3258,7 +3244,6 @@ CONFIG_TRACING_SUPPORT=y
 # arm Debugging
 #
 # CONFIG_ARM_PTDUMP_DEBUGFS is not set
-# CONFIG_UNWINDER_FRAME_POINTER is not set
 CONFIG_UNWINDER_ARM=y
 CONFIG_ARM_UNWIND=y
 # CONFIG_BACKTRACE_VERBOSE is not set