From 97575a239b8f4d87a8f7ad5bb324c8e71c02d4d9 Mon Sep 17 00:00:00 2001
From: Aqua-sama <aqua@iserlohn-fortress.net>
Date: Fri, 26 Mar 2021 10:26:10 +0200
Subject: clang-tidy fixes

---
 src/kernel.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/kernel.cc')

diff --git a/src/kernel.cc b/src/kernel.cc
index 53500bc..578344c 100644
--- a/src/kernel.cc
+++ b/src/kernel.cc
@@ -32,7 +32,7 @@ extern "C" {
 void dump_multiboot(uint32_t mb_magic, uint32_t mb_addr);
 void dump_gdt();
 
-void kernel_main(uint32_t mb_magic, const uint32_t mb_addr) {
+[[noreturn]] void kernel_main(uint32_t mb_magic, const uint32_t mb_addr) {
 #ifdef HAS_SERIAL0
   if constexpr (serial0_console)
     if (serial0.self_check()) Console::set(&serial0);
@@ -53,7 +53,7 @@ void kernel_main(uint32_t mb_magic, const uint32_t mb_addr) {
   runtime_assert(core0.features().cx8, "CPU lacks cx8");
 
   dump_address();
-  // dump_gdt();
+   dump_gdt();
 
   {
     printk("Multiboot2 header at ", uhex{mb_addr}, '\n');
-- 
cgit v1.2.1