“Kitsune is a simple framework that C programmers can use to write software that can be updated on the fly. Such dynamic software updates preserve in-memory state and active connections, thus avoiding the disruption of shutdown-and-restart. Updates take place quickly, and require no special system support (like redundancy).”
I like periodically checking on people who did clever projects in the past to see what they or their students are up to. @GeoffWozniak’s submission was by a person from Cyclone team. Looking at them, I found one is doing F* for Everest and the author of the submission was involved in this work.