#include <oskit/dev/osenv_intr.h>
const oskit_iid_t oskit_osenv_intr_iid = OSKIT_OSENV_INTR_IID;