From 7a78a4915a365645b9d9d524c09c0946bb288ac8 Mon Sep 17 00:00:00 2001
From: Andreas Kling <kling@serenityos.org>
Date: Sun, 14 Feb 2021 17:40:52 +0100
Subject: [PATCH] Kernel: Mark a handful of things in init.cpp as
 READONLY_AFTER_INIT

---
 Kernel/init.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Kernel/init.cpp b/Kernel/init.cpp
index 8fb4027079..71dab40eda 100644
--- a/Kernel/init.cpp
+++ b/Kernel/init.cpp
@@ -102,7 +102,7 @@ extern "C" void init_finished(u32 cpu);
 extern "C" [[noreturn]] void init_ap(u32 cpu, Processor* processor_info);
 extern "C" [[noreturn]] void init();
 
-VirtualConsole* tty0;
+READONLY_AFTER_INIT VirtualConsole* tty0;
 
 static Processor s_bsp_processor; // global but let's keep it "private"