#include <oskit/dev/isa.h>
const oskit_iid_t oskit_isa_driver_iid = OSKIT_ISA_DRIVER_IID;