#include <inttypes.h>
#include "plat-midi.h"

void midi_init() {
}

void midi_close() {
}

void midi_write(uint8_t val) {
}

int midi_get_num_devs() {
	return 0;
}

void midi_get_dev_name(int num, char *s) {
}
