1 files changed, 54 insertions, 0 deletions
diff --git a/machine/fdt.h b/machine/fdt.h
new file mode 100644
index 0000000..71726ce
--- /dev/null
+++ b/machine/fdt.h
@@ -0,0 +1,54 @@
+#ifndef FDT_H
+#define FDT_H
+
+#define FDT_MAGIC	0xd00dfeed
+#define FDT_VERSION	17
+
+struct fdt_header {
+  uint32_t magic;
+  uint32_t totalsize;
+  uint32_t off_dt_struct;
+  uint32_t off_dt_strings;
+  uint32_t off_mem_rsvmap;
+  uint32_t version;
+  uint32_t last_comp_version; /* <= 17 */
+  uint32_t boot_cpuid_phys;
+  uint32_t size_dt_strings;
+  uint32_t size_dt_struct;
+};
+
+#define FDT_BEGIN_NODE	1
+#define FDT_END_NODE	2
+#define FDT_PROP	3
+#define FDT_NOP		4
+#define FDT_END		9
+
+struct fdt_scan_node {
+  const struct fdt_scan_node *parent;
+  const uint32_t *base; // token that began the node
+  const char *name;
+  int address_cells;
+  int size_cells;
+};
+
+struct fdt_scan_prop {
+  const struct fdt_scan_node *node;
+  const char *name;
+  const uint32_t *value;
+  int len; // in bytes of value
+};
+
+// Scan the contents of FDT
+typedef void (*fdt_cb)(const struct fdt_scan_prop *prop, void *extra);
+void fdt_scan(uintptr_t fdt, fdt_cb cb, void *extra);
+
+// Extract fields
+const uint32_t *fdt_get_address(const struct fdt_scan_node *node, const uint32_t *base, uintptr_t *value);
+const uint32_t *fdt_get_size(const struct fdt_scan_node *node, const uint32_t *base, uintptr_t *value);
+
+// Setup memory+clint+plic
+void query_mem(uintptr_t fdt);
+void query_harts(uintptr_t fdt);
+void query_clint(uintptr_t fdt);
+
+#endif