#include <oskit/dev/net.h>
const oskit_iid_t oskit_netdev_iid = OSKIT_NETDEV_IID;