>>779
vlcで普通にメニュー表示やらできてるよ。
isoファイルを直接読み込んでもできてる。