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();