#include <oskit/dev/driver.h>
const oskit_iid_t oskit_driver_iid = OSKIT_DRIVER_IID;