--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/driver.h	Sat Jul 23 15:16:57 2005 +0000
@@ -0,0 +1,11 @@
+#ifndef DRIVER_H
+#define DRIVER_H
+
+void LoadDriver(int driver, const char *name);
+
+bool GetDriverParamBool(const char* const* parm, const char* name);
+int GetDriverParamInt(const char* const* parm, const char* name, int def);
+
+void GetDriverList(char* p);
+
+#endif