This morning's BBC News says that a 2020 rover mission to Mars will "make oxygen". There is a brief line indication that it will convert CO2. Butextract it from atmospheric CO₂, but no other details.
What process will the rover use? Is this a plausible method for obtaining oxygen on Mars for human life support?