create dtb allocator

the parent commit (b106df2447d23d6b3fcffa7cc87edde218d054f3) discussed
the possibility of creating dtb device discovery. for that, we have
replaced wdt device discovery with dtb device discovery. in the future,
we will use the pci kernel module to use device discovery via a PCI
controller

1 files changed, 0 insertions, 18 deletions

diff --git a/include/wdt.h b/include/wdt.h
deleted file mode 100644
index 31739ab..0000000
--- a/include/wdt.h
+++ /dev/null
@@ -1,18 +0,0 @@
-#pragma once
-#include <types.h>
-
-#define WDT_MAGIC 0x67674141
-
-struct wdt_device {
-    uint32_t type;
-    uint32_t driver_id;
-    uint32_t start;
-    uint32_t size;
-};
-
-struct wdt_root {
-    uint32_t magic;
-    uint32_t count;
-    struct wdt_device devices[];
-};
-