#include <oskit/dev/osenv_driver.h>
const oskit_iid_t oskit_osenv_driver_iid = OSKIT_OSENV_DRIVER_IID;