Skip to content

Commit 5cd5883

Browse files
shymfabbingFirobe
committed
Publish Mirage/Unikraft packages v1.0.0
Publish the 3 implementation packages for MirageOS on Unikraft: - mirage-unikraft for the OS interface - mirage-net-unikraft for the network interface - mirage-block-unikraft for the block devices Co-authored-by: Fabrice Buoro <[email protected]> Co-authored-by: Virgile Robles <[email protected]>
1 parent 9f08af3 commit 5cd5883

File tree

3 files changed

+132
-0
lines changed
  • packages
    • mirage-block-unikraft/mirage-block-unikraft.1.0.0
    • mirage-net-unikraft/mirage-net-unikraft.1.0.0
    • mirage-unikraft/mirage-unikraft.1.0.0

3 files changed

+132
-0
lines changed
Lines changed: 44 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,44 @@
1+
opam-version: "2.0"
2+
synopsis: "Unikraft implementation of MirageOS block interface"
3+
description:
4+
"This library implements the MirageOS block interface for Unikraft targets."
5+
maintainer: ["[email protected]"]
6+
authors: [
7+
"Fabrice Buoro <[email protected]>" "Samuel Hym <[email protected]>"
8+
]
9+
license: "BSD-3-Clause"
10+
tags: ["org:mirage"]
11+
homepage: "https://github.com/mirage/mirage-block-unikraft"
12+
bug-reports: "https://github.com/mirage/mirage-block-unikraft/issues"
13+
depends: [
14+
"ocaml" {>= "5.2.0"}
15+
"dune" {>= "3.0" & >= "3.0"}
16+
"lwt" {>= "2.4.3"}
17+
"cstruct" {>= "6.0.0"}
18+
"mirage-block" {>= "2.0.0"}
19+
"mirage-unikraft" {>= "1.0.0"}
20+
"fmt" {>= "0.8.7"}
21+
"odoc" {with-doc}
22+
]
23+
build: [
24+
["dune" "subst"] {dev}
25+
[
26+
"dune"
27+
"build"
28+
"-p"
29+
name
30+
"-j"
31+
jobs
32+
"@install"
33+
"@runtest" {with-test}
34+
"@doc" {with-doc}
35+
]
36+
]
37+
dev-repo: "git+https://github.com/mirage/mirage-block-unikraft.git"
38+
url {
39+
src:
40+
"https://github.com/mirage/mirage-block-unikraft/archive/refs/tags/v1.0.0.tar.gz"
41+
checksum:
42+
"sha256=281449a4bf028fd8439e95468145d158f9a2c0de27d3240e46acc1140e5d017e"
43+
}
44+
x-maintenance-intent: ["(latest)"]
Lines changed: 45 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,45 @@
1+
opam-version: "2.0"
2+
synopsis: "Unikraft implementation of MirageOS network interface"
3+
description:
4+
"This library implements the MirageOS network interface for Unikraft targets."
5+
maintainer: ["[email protected]"]
6+
authors: ["Fabrice Buoro <[email protected]>"]
7+
license: "BSD-3-Clause"
8+
tags: ["org:mirage"]
9+
homepage: "https://github.com/mirage/mirage-net-unikraft"
10+
bug-reports: "https://github.com/mirage/mirage-net-unikraft/issues"
11+
depends: [
12+
"dune" {>= "3.0"}
13+
"ocaml" {>= "5.2.0"}
14+
"cstruct" {>= "1.0.1"}
15+
"lwt" {>= "2.4.3"}
16+
"mirage-net" {>= "3.0.0"}
17+
"macaddr" {>= "4.0.0"}
18+
"mirage-unikraft" {>= "1.0.0"}
19+
"logs" {>= "0.6.0"}
20+
"metrics"
21+
"fmt" {>= "0.8.7"}
22+
"odoc" {with-doc}
23+
]
24+
build: [
25+
["dune" "subst"] {dev}
26+
[
27+
"dune"
28+
"build"
29+
"-p"
30+
name
31+
"-j"
32+
jobs
33+
"@install"
34+
"@runtest" {with-test}
35+
"@doc" {with-doc}
36+
]
37+
]
38+
dev-repo: "git+https://github.com/mirage/mirage-net-unikraft.git"
39+
url {
40+
src:
41+
"https://github.com/mirage/mirage-net-unikraft/archive/refs/tags/v1.0.0.tar.gz"
42+
checksum:
43+
"sha256=8d736b578da486bf7ba82879793354afbadc9a673da2e5a3cb0fb5d28b859a44"
44+
}
45+
x-maintenance-intent: ["(latest)"]
Lines changed: 43 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,43 @@
1+
opam-version: "2.0"
2+
synopsis: "Unikraft core platform libraries for MirageOS"
3+
description:
4+
"This packages provides the MirageOS `OS` library for Unikraft targets."
5+
maintainer: ["Fabrice Buoro" "Samuel Hym"]
6+
authors: ["Fabrice Buoro" "Samuel Hym"]
7+
license: "MIT"
8+
tags: ["org:mirage"]
9+
homepage: "https://github.com/mirage/mirage-unikraft"
10+
bug-reports: "https://github.com/mirage/mirage-unikraft/issues"
11+
depends: [
12+
"ocaml" {>= "5.3.0"}
13+
"dune" {>= "3.16"}
14+
"mirage-runtime"
15+
"mirage-sleep"
16+
"bheap"
17+
"lwt"
18+
"metrics"
19+
"duration"
20+
"odoc" {with-doc}
21+
]
22+
build: [
23+
["dune" "subst"] {dev}
24+
[
25+
"dune"
26+
"build"
27+
"-p"
28+
name
29+
"-j"
30+
jobs
31+
"@install"
32+
"@runtest" {with-test}
33+
"@doc" {with-doc}
34+
]
35+
]
36+
dev-repo: "git+https://github.com/mirage/mirage-unikraft.git"
37+
url {
38+
src:
39+
"https://github.com/mirage/mirage-unikraft/archive/refs/tags/v1.0.0.tar.gz"
40+
checksum:
41+
"sha256=c48d534a366d25d1c4959535595f48b16d91ca44fc19399710a9231405fa7eab"
42+
}
43+
x-maintenance-intent: ["(latest)"]

0 commit comments

Comments
 (0)