MediaCoder

As for converting ISO to MP4, you can take Handbrake: https://handbrake.fr/ Converting steps: load your ISO file to Handbrake > choose one title> set a destination> select mp4 in the output setting> start encoding. Also, there's a detailed guide on how to convert ISO to MP4: http://www.videoconverte...