#include <oskit/dev/ethernet.h>
const oskit_iid_t oskit_etherdev_iid = OSKIT_ETHERDEV_IID;