-Tinkered with formatting

[pintos-anon] / src / devices / resource.h

diff --git a/src/devices/resource.h b/src/devices/resource.h
new file mode 100644 (file)
index 0000000..41e8224
--- /dev/null
+++ b/src/devices/resource.h
@@ -0,0 +1,14 @@
+#ifndef DEVICE_RESOURCE_H
+#define DEVICE_RESOURCE_H
+
+struct resource
+{
+  uint32_t start;
+  uint32_t end;
+  uint8_t type;
+};
+
+#define RESOURCE_TYPE_MEM 0x0
+#define RESOURCE_TYPE_IO 0x1
+
+#endif /* device/resource.h */