add tcpip overlay which reports buffer stats

This commit is contained in:
Hannes Mehnert 2022-06-05 16:12:02 +02:00
parent da2c42aeec
commit fc12e26410

View file

@ -0,0 +1,75 @@
opam-version: "2.0"
maintainer: "anil@recoil.org"
homepage: "https://github.com/mirage/mirage-tcpip"
dev-repo: "git+https://github.com/mirage/mirage-tcpip.git"
bug-reports: "https://github.com/mirage/mirage-tcpip/issues"
doc: "https://mirage.github.io/mirage-tcpip/"
authors: [
"Anil Madhavapeddy" "Balraj Singh" "Richard Mortier" "Nicolas Ojeda Bar"
"Thomas Gazagnaire" "Vincent Bernardoff" "Magnus Skjegstad" "Mindy Preston"
"Thomas Leonard" "David Scott" "Gabor Pali" "Hannes Mehnert" "Haris Rotsos"
"Kia" "Luke Dunstan" "Pablo Polvorin" "Tim Cuthbertson" "lnmx" "pqwy" ]
license: "ISC"
tags: ["org:mirage"]
build: [
["dune" "subst"] {dev}
["dune" "build" "-p" name "-j" jobs]
["dune" "runtest" "-p" name "-j" jobs] {with-test}
]
conflicts: [
"mirage-xen" {< "6.0.0"}
"ocaml-freestanding" {< "0.4.1"}
"result" {< "1.5"}
]
depends: [
"conf-pkg-config" {build}
"dune" {>= "2.7.0"}
"bisect_ppx" {dev & >= "2.5.0"}
"ocaml" {>= "4.08.0"}
"cstruct" {>= "6.0.0"}
"cstruct-lwt"
"ppx_cstruct"
"mirage-net" {>= "3.0.0"}
"mirage-clock" {>= "3.0.0"}
"mirage-random" {>= "2.0.0"}
"mirage-time" {>= "2.0.0"}
"ipaddr" {>= "5.0.0"}
"macaddr" {>="4.0.0"}
"macaddr-cstruct"
"mirage-profile" {>= "0.5"}
"fmt" {>= "0.8.7"}
"lwt" {>= "4.0.0"}
"lwt-dllist"
"logs" {>= "0.6.0"}
"duration"
"randomconv"
"ethernet" {>= "3.0.0"}
"arp" {>= "3.0.0"}
"mirage-flow" {>= "2.0.0"}
"mirage-vnetif" {with-test & >= "0.5.0"}
"alcotest" {with-test & >="0.7.0"}
"pcap-format" {with-test}
"mirage-clock-unix" {with-test & >= "3.0.0"}
"mirage-random-test" {with-test & >= "0.1.0"}
"ipaddr-cstruct" {with-test}
"lru" {>= "0.3.0"}
"metrics"
]
depopts: [
"ocaml-freestanding"
]
synopsis: "OCaml TCP/IP networking stack, used in MirageOS"
description: """
`mirage-tcpip` provides a networking stack for the [Mirage operating
system](https://mirage.io). It provides implementations for the following module types
(which correspond with the similarly-named protocols):
* IP (via the IPv4 and IPv6 modules)
* ICMP
* UDP
* TCP
"""
url {
src: "git+https://github.com/hannesm/mirage-tcpip.git#buffer-stats"
}