/* This file is in the public domain. */

#include "driver.h"

extern DRIVER reg_driver;
extern DRIVER cons_driver;
extern DRIVER ltc_driver;
extern DRIVER clk_driver;
/*extern DRIVER rk11_driver;*/

DRIVER *driverlist[] = { &reg_driver,
			 &cons_driver,
			 &ltc_driver,
			 &clk_driver,
/*			 &rk11_driver,*/
			 0 };