#include "ethernet.h"
driver(wd, "WD80x3", NULL, "Donald Becker", "wd", wd_probe)