From 762ca844d8a1989d6de2c3d8c9e8c39574944d53 Mon Sep 17 00:00:00 2001
From: apio <blobs.trading@gmail.com>
Date: Fri, 18 Nov 2022 21:04:53 +0100
Subject: [PATCH] Add CPU::platform_string

---
 kernel/src/arch/CPU.h          | 2 ++
 kernel/src/arch/x86_64/CPU.cpp | 5 +++++
 2 files changed, 7 insertions(+)

diff --git a/kernel/src/arch/CPU.h b/kernel/src/arch/CPU.h
index a471b0d0..e2d2313c 100644
--- a/kernel/src/arch/CPU.h
+++ b/kernel/src/arch/CPU.h
@@ -6,6 +6,8 @@ struct Registers;
 namespace CPU
 {
     Result<const char*> identify();
+    const char* platform_string();
+
     void platform_init();
 
     [[noreturn]] void efficient_halt();
diff --git a/kernel/src/arch/x86_64/CPU.cpp b/kernel/src/arch/x86_64/CPU.cpp
index e5144ed8..c9a2010f 100644
--- a/kernel/src/arch/x86_64/CPU.cpp
+++ b/kernel/src/arch/x86_64/CPU.cpp
@@ -296,6 +296,11 @@ namespace CPU
         return brand_string;
     }
 
+    const char* platform_string()
+    {
+        return "x86_64";
+    }
+
     void platform_init()
     {
         enable_sse();