I don't think it's midi, but there are a number of source ports which do play
music fine. One I can immediately think of is prboom (prboom.sf.net).
Google around for others.
Regards,
Filip
-- "There is a 90% chance that this message was written when the author's been up longer than he should have. Please disregard any senseless drivel." -- Chris Armstrong - To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/