-
Notifications
You must be signed in to change notification settings - Fork 1.1k
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #9516 from djs55/io-page
Update io-page, mirage, mirage-qubes, mirage-solo5
- Loading branch information
Showing
91 changed files
with
1,386 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
FAT filesystem implementation |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,35 @@ | ||
opam-version: "1.2" | ||
authors: ["Dave Scott" "Anil Madhavapeddy"] | ||
maintainer: "[email protected]" | ||
homepage: "https://github.com/mirage/ocaml-fat" | ||
bug-reports: "https://github.com/mirage/ocaml-fat/issues" | ||
dev-repo: "https://github.com/mirage/ocaml-fat.git" | ||
doc: "https://mirage.github.io/ocaml-fat/" | ||
|
||
build: [ | ||
["jbuilder" "subst" "-p" name "--name" name] {pinned} | ||
["jbuilder" "build" "-p" name "-j" jobs] | ||
] | ||
depends: [ | ||
"jbuilder" {build & >="1.0+beta7"} | ||
"cstruct" {>= "3.0.0"} | ||
"ppx_tools" {build} | ||
"ppx_cstruct" {build} | ||
"result" | ||
"rresult" | ||
"lwt" {>= "2.4.3"} | ||
"mirage-fs" {>= "1.0.0"} | ||
"mirage-fs-lwt" {>= "1.0.0"} | ||
"mirage-block-lwt" {>= "1.0.0"} | ||
"mirage-block-unix" {>= "2.5.0"} | ||
"io-page-unix" {>= "2.0.0"} | ||
"re" | ||
"cmdliner" | ||
"astring" | ||
"alcotest" {test} | ||
] | ||
tags: [ | ||
"org:mirage" | ||
"org:xapi-project" | ||
] | ||
available: [ ocaml-version >= "4.03.0" ] |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,2 @@ | ||
archive: "https://github.com/mirage/ocaml-fat/releases/download/0.12.1/fat-filesystem-0.12.1.tbz" | ||
checksum: "1dcfdb44cb150c52b335772fd0881f6d" |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
Allocate memory pages suitable for aligned I/O |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,25 @@ | ||
opam-version: "1.2" | ||
maintainer: "[email protected]" | ||
homepage: "https://github.com/mirage/io-page" | ||
dev-repo: "https://github.com/mirage/io-page.git" | ||
bug-reports: "https://github.com/mirage/io-page/issues" | ||
license: "ISC" | ||
authors: [ | ||
"Anil Madhavapeddy" | ||
"Dave Scott" | ||
"Thomas Gazagnaire" | ||
] | ||
tags: ["org:mirage"] | ||
build: [ | ||
[ "jbuilder" "subst"] {pinned} | ||
[ "jbuilder" "build" "-p" name "-j" jobs ] | ||
] | ||
|
||
depends: [ | ||
"io-page" {>= "2.0.0"} | ||
"jbuilder" {build & >="1.0+beta9"} | ||
"configurator" {build} | ||
"cstruct" {>= "2.0.0"} | ||
"ounit" {test} | ||
] | ||
available: [ocaml-version >= "4.03.0"] |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,2 @@ | ||
http: "https://github.com/mirage/io-page/releases/download/2.0.0/io-page-2.0.0.tbz" | ||
checksum: "b40222f38428a21d86d42ba8645a2c68" |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
Allocate memory pages suitable for aligned I/O |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,25 @@ | ||
opam-version: "1.2" | ||
maintainer: "[email protected]" | ||
homepage: "https://github.com/mirage/io-page" | ||
dev-repo: "https://github.com/mirage/io-page.git" | ||
bug-reports: "https://github.com/mirage/io-page/issues" | ||
license: "ISC" | ||
authors: [ | ||
"Anil Madhavapeddy" | ||
"Dave Scott" | ||
"Thomas Gazagnaire" | ||
] | ||
tags: ["org:mirage"] | ||
build: [ | ||
[ "env" "OPAM_PKG_CONFIG_PATH=%{prefix}%/lib/pkgconfig" "jbuilder" "subst"] {pinned} | ||
[ "env" "OPAM_PKG_CONFIG_PATH=%{prefix}%/lib/pkgconfig" "jbuilder" "build" "-p" name "-j" jobs ] | ||
] | ||
|
||
depends: [ | ||
"io-page" {>= "2.0.0"} | ||
"jbuilder" {build & >="1.0+beta9"} | ||
"configurator" {build} | ||
"cstruct" {>= "2.0.0"} | ||
"mirage-xen-ocaml" | ||
] | ||
available: [ocaml-version >= "4.03.0"] |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,2 @@ | ||
http: "https://github.com/mirage/io-page/releases/download/2.0.0/io-page-2.0.0.tbz" | ||
checksum: "b40222f38428a21d86d42ba8645a2c68" |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
Allocate memory pages suitable for aligned I/O |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,23 @@ | ||
opam-version: "1.2" | ||
maintainer: "[email protected]" | ||
homepage: "https://github.com/mirage/io-page" | ||
dev-repo: "https://github.com/mirage/io-page.git" | ||
bug-reports: "https://github.com/mirage/io-page/issues" | ||
license: "ISC" | ||
authors: [ | ||
"Anil Madhavapeddy" | ||
"Dave Scott" | ||
"Thomas Gazagnaire" | ||
] | ||
tags: ["org:mirage"] | ||
build: [ | ||
[ "jbuilder" "subst"] {pinned} | ||
[ "jbuilder" "build" "-p" name "-j" jobs ] | ||
] | ||
|
||
depends: [ | ||
"jbuilder" {build & >="1.0+beta9"} | ||
"configurator" {build} | ||
"cstruct" {>= "2.0.0"} | ||
] | ||
available: [ocaml-version >= "4.03.0"] |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,2 @@ | ||
http: "https://github.com/mirage/io-page/releases/download/2.0.0/io-page-2.0.0.tbz" | ||
checksum: "b40222f38428a21d86d42ba8645a2c68" |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,6 @@ | ||
MirageOS block driver for Xen that implements the blkfront/back protocol | ||
|
||
This library allows | ||
- MirageOS VMs to read and write disk data on Xen | ||
- MirageOS VMs and userspace apps to act as disk servers for other VMs running | ||
on the same Xen host |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,42 @@ | ||
opam-version: "1.2" | ||
maintainer: "[email protected]" | ||
homepage: "https://github.com/mirage/mirage-block-xen" | ||
dev-repo: "https://github.com/mirage/mirage-block-xen.git" | ||
bug-reports: "https://github.com/mirage/mirage-block-xen/issues" | ||
doc: "https://mirage.github.io/mirage-block-xen" | ||
|
||
authors: [ | ||
"Anil Madhavapeddy" | ||
"David Scott" | ||
"Thomas Leonard" | ||
] | ||
license: "ISC" | ||
tags: [ | ||
"org:mirage" | ||
"org:xapi-project" | ||
] | ||
|
||
build: [ | ||
[ "jbuilder" "subst"] {pinned} | ||
[ "jbuilder" "build" "-p" name "-j" jobs ] | ||
] | ||
|
||
depends: [ | ||
"ocamlfind" {build} | ||
"jbuilder" {build & >="1.0+beta9"} | ||
"cmdliner" | ||
"logs" | ||
"stringext" | ||
"lwt" {>= "2.4.3"} | ||
"cstruct" {>= "1.9.0"} | ||
"ppx_tools" | ||
"shared-memory-ring-lwt" | ||
"mirage-block-lwt" {>= "1.0.0"} | ||
"ipaddr" | ||
"io-page-xen" {>= "2.0.0"} | ||
"mirage-xen" {>= "1.0.1" } | ||
"rresult" | ||
] | ||
available: [ | ||
ocaml-version >= "4.03.0" | ||
] |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,2 @@ | ||
http: "https://github.com/mirage/mirage-block-xen/releases/download/1.5.3/mirage-block-xen-1.5.3.tbz" | ||
checksum: "7a5bc94d4dc2d0584d25e191a35793a5" |
40 changes: 40 additions & 0 deletions
40
packages/mirage-console-lwt/mirage-console-lwt.2.3.4/descr
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,40 @@ | ||
Implementations of Mirage consoles, for Unix and Xen | ||
|
||
|
||
The Unix version of the console currently uses standard output. The code is in | ||
|
||
unix/console.{ml,mli} | ||
|
||
The Xen kernel version of the console uses the primary PV console ring. The | ||
code is in | ||
|
||
xen/console.{ml,mli} | ||
|
||
There is also a Unix userspace utility which creates and services Xen consoles | ||
("console backends"): | ||
|
||
Connect a console to a VM like this: | ||
|
||
``` | ||
[root@st30 ~]# ./mirage-console connect trusty | ||
Operating on VM domain id: 19 | ||
Creating device 1 (linux device /dev/tty1) | ||
{ ref = 128; event_channel = 13 } | ||
``` | ||
|
||
Then inside the guest: | ||
|
||
``` | ||
[root@trusty ~]# cat > /dev/hvc1 | ||
hello | ||
there | ||
``` | ||
|
||
And observe in dom0: | ||
|
||
``` | ||
hello | ||
there | ||
``` | ||
|
||
Then hit Control+C and it all cleans up. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,23 @@ | ||
opam-version: "1.2" | ||
maintainer: "[email protected]" | ||
homepage: "https://github.com/mirage/mirage-console" | ||
bug-reports: "https://github.com/mirage/mirage-console/issues" | ||
dev-repo: "https://github.com/mirage/mirage-console.git" | ||
doc: "https://mirage.github.io/mirage-console/" | ||
authors: [ "Anil Madhavapeddy" "David Scott"] | ||
tags: [ "org:mirage" "org:xapi-project"] | ||
license: "ISC" | ||
|
||
build: [ | ||
[ "jbuilder" "subst"] {pinned} | ||
[ "jbuilder" "build" "-p" name "-j" jobs ] | ||
] | ||
|
||
depends: [ | ||
"jbuilder" {build & >="1.0+beta9"} | ||
"mirage-console" {>= "2.2.0"} | ||
"lwt" | ||
"cstruct" {>= "1.9.0"} | ||
"cstruct-lwt" | ||
] | ||
available: [ocaml-version >= "4.03.0"] |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,2 @@ | ||
archive: "https://github.com/mirage/mirage-console/releases/download/v2.3.4/mirage-console-2.3.4.tbz" | ||
checksum: "b81bd7033517c1e41527a2055ce0d22f" |
40 changes: 40 additions & 0 deletions
40
packages/mirage-console-unix/mirage-console-unix.2.3.4/descr
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,40 @@ | ||
Implementations of Mirage consoles, for Unix and Xen | ||
|
||
|
||
The Unix version of the console currently uses standard output. The code is in | ||
|
||
unix/console.{ml,mli} | ||
|
||
The Xen kernel version of the console uses the primary PV console ring. The | ||
code is in | ||
|
||
xen/console.{ml,mli} | ||
|
||
There is also a Unix userspace utility which creates and services Xen consoles | ||
("console backends"): | ||
|
||
Connect a console to a VM like this: | ||
|
||
``` | ||
[root@st30 ~]# ./mirage-console connect trusty | ||
Operating on VM domain id: 19 | ||
Creating device 1 (linux device /dev/tty1) | ||
{ ref = 128; event_channel = 13 } | ||
``` | ||
|
||
Then inside the guest: | ||
|
||
``` | ||
[root@trusty ~]# cat > /dev/hvc1 | ||
hello | ||
there | ||
``` | ||
|
||
And observe in dom0: | ||
|
||
``` | ||
hello | ||
there | ||
``` | ||
|
||
Then hit Control+C and it all cleans up. |
24 changes: 24 additions & 0 deletions
24
packages/mirage-console-unix/mirage-console-unix.2.3.4/opam
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,24 @@ | ||
opam-version: "1.2" | ||
maintainer: "[email protected]" | ||
homepage: "https://github.com/mirage/mirage-console" | ||
bug-reports: "https://github.com/mirage/mirage-console/issues" | ||
dev-repo: "https://github.com/mirage/mirage-console.git" | ||
doc: "https://mirage.github.io/mirage-console/" | ||
authors: [ "Anil Madhavapeddy" "David Scott"] | ||
tags: [ "org:mirage" "org:xapi-project"] | ||
license: "ISC" | ||
|
||
build: [ | ||
[ "jbuilder" "subst"] {pinned} | ||
[ "jbuilder" "build" "-p" name "-j" jobs ] | ||
] | ||
|
||
depends: [ | ||
"jbuilder" {build & >="1.0+beta9"} | ||
"lwt" | ||
"cstruct" {>="3.0.0"} | ||
"cstruct-lwt" | ||
"mirage-console-lwt" {>= "2.2.0"} | ||
"mirage-unix" {>="1.1.0"} | ||
] | ||
available: [ocaml-version >= "4.03.0"] |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,2 @@ | ||
archive: "https://github.com/mirage/mirage-console/releases/download/v2.3.4/mirage-console-2.3.4.tbz" | ||
checksum: "b81bd7033517c1e41527a2055ce0d22f" |
40 changes: 40 additions & 0 deletions
40
packages/mirage-console-xen-backend/mirage-console-xen-backend.2.3.4/descr
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,40 @@ | ||
Implementations of Mirage consoles, for Unix and Xen | ||
|
||
|
||
The Unix version of the console currently uses standard output. The code is in | ||
|
||
unix/console.{ml,mli} | ||
|
||
The Xen kernel version of the console uses the primary PV console ring. The | ||
code is in | ||
|
||
xen/console.{ml,mli} | ||
|
||
There is also a Unix userspace utility which creates and services Xen consoles | ||
("console backends"): | ||
|
||
Connect a console to a VM like this: | ||
|
||
``` | ||
[root@st30 ~]# ./mirage-console connect trusty | ||
Operating on VM domain id: 19 | ||
Creating device 1 (linux device /dev/tty1) | ||
{ ref = 128; event_channel = 13 } | ||
``` | ||
|
||
Then inside the guest: | ||
|
||
``` | ||
[root@trusty ~]# cat > /dev/hvc1 | ||
hello | ||
there | ||
``` | ||
|
||
And observe in dom0: | ||
|
||
``` | ||
hello | ||
there | ||
``` | ||
|
||
Then hit Control+C and it all cleans up. |
24 changes: 24 additions & 0 deletions
24
packages/mirage-console-xen-backend/mirage-console-xen-backend.2.3.4/opam
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,24 @@ | ||
opam-version: "1.2" | ||
maintainer: "[email protected]" | ||
homepage: "https://github.com/mirage/mirage-console" | ||
bug-reports: "https://github.com/mirage/mirage-console/issues" | ||
dev-repo: "https://github.com/mirage/mirage-console.git" | ||
doc: "https://mirage.github.io/mirage-console/" | ||
authors: [ "Anil Madhavapeddy" "David Scott"] | ||
tags: [ "org:mirage" "org:xapi-project"] | ||
license: "ISC" | ||
|
||
build: [ | ||
[ "jbuilder" "subst"] {pinned} | ||
[ "jbuilder" "build" "-p" name "-j" jobs ] | ||
] | ||
|
||
depends: [ | ||
"jbuilder" {build & >="1.0+beta9"} | ||
"mirage-console-lwt" {>= "2.2.0"} | ||
"mirage-console-xen-proto" | ||
"lwt" | ||
"io-page-xen" {>= "2.0.0"} | ||
"xenstore" "xen-evtchn" "xen-gnt" "shared-memory-ring-lwt" | ||
] | ||
available: [ocaml-version >= "4.03.0"] |
2 changes: 2 additions & 0 deletions
2
packages/mirage-console-xen-backend/mirage-console-xen-backend.2.3.4/url
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,2 @@ | ||
archive: "https://github.com/mirage/mirage-console/releases/download/v2.3.4/mirage-console-2.3.4.tbz" | ||
checksum: "b81bd7033517c1e41527a2055ce0d22f" |
Oops, something went wrong.