Mars Pathfinder Priority Inversion Bug: What Really Happened

I'd be interested to hear how the update was actually put in place. They must have an OTA update mechanism which sounds super interesting.

This looks like a slopified version of https://www.rapitasystems.com/blog/what-really-happened-software-mars-pathfinder-spacecraft from 2013, which in turn is a summary of earlier papers.