Reynir Björnsson
f597921b44
Linux network stats ( #44 )
...
* Add libnl-3 and libnl-route-3 dependency if Linux (libnl-3-dev on ubuntu)
* Add libnl-3 flags, refactor stats/dune
Use dune-configurtator to get C flags. In the dune-configurator script,
we detect whether we're running on Linux or FreeBSD.
2020-11-25 14:39:10 +01:00
Hannes Mehnert
d93a683d94
tls: no need to initialize rng (tls.lwt does this for us)
2020-06-23 20:03:59 +02:00
Hannes Mehnert
21406965e7
require OCaml 4.08.0 since mirage-crypto depends on 4.08
2020-06-15 18:17:12 +02:00
Hannes Mehnert
a4c4331b71
TLS applications: initialize RNG
2020-06-15 16:33:11 +02:00
Hannes Mehnert
ceafacbd2a
require tls 1.3, avoid renegotiation (client certificate is now already encrypted)
2020-05-19 21:07:39 +02:00
Hannes Mehnert
ab76e1ef89
metrics got released, no longer pin-depend
2020-05-09 22:47:54 +02:00
Hannes Mehnert
c0f093d39c
add ISC license ( fixes #13 , re-requested by Poulpe on discord)
2020-04-21 11:10:46 +02:00
Hannes Mehnert
4c9faf4262
adapt to x509 0.11.0 API changes
2020-04-21 11:10:39 +02:00
Hannes Mehnert
a134218b64
use mirage-crypto and modern tls
2020-03-13 16:36:05 +01:00
Hannes Mehnert
ff59f05660
compatibility with x509 0.9.0
2020-02-16 16:33:19 +01:00
Hannes Mehnert
82782363b8
Vmm_unix.check_commands : unit -> (unit, [> `Msg of string ]) result - which
...
checks (platform-dependent) all required executables
Vmm_unix.prepare/exec execute solo5-{spt/hvt} depending on the image type
(solo5-elftool figures that out), use jsonm to parse output
Vmm_unix: use ip on linux, no longer ifconfig
2019-10-27 21:31:37 +01:00
Hannes Mehnert
f81a12bc4d
initial metrics
2019-10-12 02:06:38 +02:00
Hannes Mehnert
a46538cabc
x509 API upgrade to 0.8.0
2019-10-12 02:06:16 +02:00
Hannes Mehnert
37ad18107e
something weird with decompress 1.0.0: getting Error: Library "decompress" not found. from dune @dinosaure
2019-10-12 02:04:44 +02:00
Hannes Mehnert
50ed6a8d1e
adapt to X509 0.7.0 API, minor comment and doc tweaks
2019-07-27 14:01:12 +02:00
Mindy
bf59b7b930
update to ipaddr 4.0.0 & decompress 0.9.0
2019-07-16 15:11:41 -05:00
Hannes Mehnert
95a46638fa
use cmdliner.1.0.0, especially term_result
...
move albatross_cli to a custom directory (command-line)
2019-04-08 16:41:20 +02:00
Hannes Mehnert
45f37389aa
move to dune, rename executables
2019-03-28 00:11:43 +01:00