#include <oskit/dev/ide.h>
const oskit_iid_t oskit_idebus_iid = OSKIT_IDEBUS_IID;