From 4b0d4c8038a5350faa581cce3a22f69016d493c1 Mon Sep 17 00:00:00 2001
From: sbosse <sbosse@uni-bremen.de>
Date: Wed, 22 Jan 2025 23:36:44 +0100
Subject: [PATCH] Wed 22 Jan 23:36:03 CET 2025

---
 include/kernel/types.h | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/include/kernel/types.h b/include/kernel/types.h
index 9aed79e..2f6f697 100644
--- a/include/kernel/types.h
+++ b/include/kernel/types.h
@@ -1,6 +1,10 @@
 #ifndef KERNELTYPES_H
 #define KERNELTYPES_H
 
+#ifdef KERNEL_TYPES_EXT
+  #include "types_ext.h"
+#endif
+
 #pragma pack(2)
 
 #define PAGE_SIZE 4096
@@ -51,7 +55,11 @@ typedef enum {
 	KOBJECT_DEVICE,
 	KOBJECT_WINDOW,
 	KOBJECT_PIPE,
-	KOBJECT_CONSOLE
+	KOBJECT_CONSOLE,
+#ifdef KERNEL_TYPES_EXT
+  KERNEL_TYPES_EXT_KOBJECT
+#endif
+	KOBJECT_MAX
 } kobject_type_t;
 
 typedef enum {