--- zzzz-none-000/linux-5.15.111/init/main.c 2023-05-11 14:00:40.000000000 +0000 +++ puma7-atom-6670-761/linux-5.15.111/init/main.c 2024-02-07 10:23:28.000000000 +0000 @@ -932,6 +932,12 @@ memblock_free_ptr(unknown_options, len); } +static void avm_reset_console(void) +{ + if (IS_ENABLED(CONFIG_AVM_KERNEL)) + pr_err("\e[mWelcome to the AVM F!OS Linux kernel!\n"); +} + asmlinkage __visible void __init __no_sanitize_address start_kernel(void) { char *command_line; @@ -942,6 +948,7 @@ debug_objects_early_init(); init_vmlinux_build_id(); + avm_reset_console(); cgroup_init_early(); local_irq_disable();