Permalink
Switch branches/tags
Nothing to show
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
60 lines (55 sloc) 1.97 KB
opam-version: "2.0"
name: "mirage-entropy"
homepage: "https://github.com/mirage/mirage-entropy"
dev-repo: "git+https://github.com/mirage/mirage-entropy.git"
bug-reports: "https://github.com/mirage/mirage-entropy/issues"
doc: "https://mirage.github.io/mirage-entropy/doc"
maintainer: "david@numm.org"
license: "BSD2"
build: [ "ocaml" "pkg/pkg.ml" "build" "--pinned" "%{pinned}%" "--tests" "false"
"--with-mirage-xen" "%{mirage-xen:installed}%"
"--with-mirage-solo5" "%{mirage-solo5:installed}%"
"--with-ocaml-freestanding" "%{ocaml-freestanding:installed}%"
]
depends: [
"ocaml" {>= "4.04.2"}
"ocamlfind" {build}
"ocamlbuild" {build}
"topkg" {build}
"ocb-stubblr" {build}
"cstruct"
"mirage-os-shim"
"lwt"
]
depopts: [
"mirage-solo5"
"ocaml-freestanding"
"mirage-xen"
]
conflicts: [
"ocb-stubblr" {<"0.1.0"}
"cstruct" {<"1.4.0"}
"mirage-xen" {<"2.2.0"}
]
tags: [ "org:mirage"]
available:
arch = "arm" | arch = "x86_32" | arch = "x86_64" | arch = "x86_64" |
arch = "arm64"
synopsis: "Entropy source for MirageOS unikernels"
description: """
mirage-entropy implements various entropy sources for MirageOS unikernels:
- timer based ones (see [whirlwind RNG paper](https://www.ieee-security.org/TC/SP2014/papers/Not-So-RandomNumbersinVirtualizedLinuxandtheWhirlwindRNG.pdf))
- rdseed and rdrand (x86/x86-64 only)
## Documentation
[![Build Status](https://travis-ci.org/mirage/mirage-entropy.svg?branch=master)](https://travis-ci.org/mirage/mirage-entropy)
* Documentation: <https://mirage.github.io/mirage-entropy/doc>
* WWW: <https://mirage.io>
* E-mail: <mirageos-devel@lists.xenproject.org>
* Issues: <https://github.com/mirage/mirage-entropy/issues>
* IRC: `#mirage` on Freenode"""
authors: ["Hannes Mehnert" "David Kaloper" "Anil Madhavapeddy" "Dave Scott"]
url {
src:
"https://github.com/mirage/mirage-entropy/releases/download/0.4.1/mirage-entropy-0.4.1.tbz"
checksum: "md5=42bfa3f40a77131eb7cbf750c7227a08"
}