O(x)Caml in Space
Summary
Thomas Gazagnaire reports on Borealis, a pure-OCaml CCSDS protocol stack running in space on DPhi Space ClusterGate-2. The post highlights post-quantum key rotation (OTAR), BPSec encryption, and the safety benefits of OCaml/OxCaml in hostile environments, while addressing kernel CVEs and the challenges of orbit software updates. It also discusses future work toward fleet-scale payloads and secure updates via Parismoni.