#include <oskit/dev/scsi.h>
const oskit_iid_t oskit_scsibus_iid = OSKIT_SCSIBUS_IID;