> The goal appears to be to design an architecture that supports in-place updates of most components due to them having tightly constrained state management and

> The goal appears to be to design an architecture that supports in-place updates of most components due to them having tightly constrained state management and inter-component dependencies. Strongly reminds me of Erlang-style hot reload. Have any OS projects based on that architecture ever got off the ground?