CCSDS Space Data Link Security (355.0-B-2)
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

ocaml-sdls: reflow kek.mli example after dune fmt

+1 -2
+1 -2
eio/kek.mli
··· 27 27 report "passworded" 28 28 (Sdls_eio.Kek.load_or_create ~password:"secret" ~dir ()); 29 29 (* Explicit key file. *) 30 - report "explicit" 31 - (Sdls_eio.Kek.load ~file:Eio.Path.(dir / "master.key")) 30 + report "explicit" (Sdls_eio.Kek.load ~file:Eio.Path.(dir / "master.key")) 32 31 ]} 33 32 34 33 {b Note}: For production spacecraft systems, use proper key management (HSM,