diff --git a/kernel/device.h b/kernel/device.h
new file mode 100644
index 0000000..426d247
--- /dev/null
+++ b/kernel/device.h
@@ -0,0 +1,41 @@
+/*
+Copyright (C) 2016-2019 The University of Notre Dame
+This software is distributed under the GNU General Public License.
+See the file LICENSE for details.
+*/
+
+#ifndef DEVICE_H
+#define DEVICE_H
+
+#include "kernel/stats.h"
+#include "kernel/types.h"
+
+struct device_driver {
+	const char *name;
+	int (*probe) ( int unit, int *nblocks, int *blocksize, char *info );
+	int (*read) ( int unit, void *buffer, int nblocks, int block_offset);
+	int (*read_nonblock) ( int unit, void *buffer, int nblocks, int block_offset);
+	int (*write) ( int unit, const void *buffer, int nblocks, int block_offset);
+	int multiplier;
+	struct device_driver_stats stats;
+	struct device_driver *next;
+};
+
+void device_driver_register( struct device_driver *d );
+
+struct device *device_open(const char *name, int unit);
+struct device *device_addref( struct device *d );
+void device_close( struct device *d );
+
+int device_read(struct device *d, void *buffer, int size, int offset);
+int device_read_nonblock(struct device *d, void *buffer, int size, int offset);
+int device_write(struct device *d, const void *buffer, int size, int offset);
+int device_block_size( struct device *d );
+int device_nblocks( struct device *d );
+int device_unit( struct device *d );
+const char * device_name( struct device *d );
+
+void device_driver_get_stats(const char * name, struct device_driver_stats * s);
+struct device_driver * device_driver_lookup(const char *name);
+
+#endif