Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

solo5-kernel-virtio.0.1.1 - via opam-publish #7020

Merged
merged 2 commits into from Jul 21, 2016

Conversation

mato
Copy link
Contributor

@mato mato commented Jul 21, 2016

Solo5 unikernel base (virtio target)

Solo5 as a unikernel base layer provides the lowest layer for Mirage/Solo5. This package includes Solo5 built for the "virtio" target, to run on KVM/QEMU or any other virtio-compliant hypervisor.



Pull-request generated by opam-publish v0.3.2

@camelus
Copy link
Contributor

camelus commented Jul 21, 2016

✅ All lint checks passed 6207480
  • These packages passed lint tests: solo5-kernel-virtio.0.1.1

✅ Installability check (5258 → 5259)
  • new installable packages (1): solo5-kernel-virtio.0.1.1

@avsm
Copy link
Member

avsm commented Jul 21, 2016

Travis hasn't triggered here so closing/opening

@avsm avsm closed this Jul 21, 2016
@avsm avsm reopened this Jul 21, 2016
Requires an ELF toolchain to build.
@mato
Copy link
Contributor Author

mato commented Jul 21, 2016

@avsm I've pushed an extra availability constraint which I missed (not available on darwin). Will this re-trigger the CI checks?

@yallop yallop merged commit 98fbb93 into ocaml:master Jul 21, 2016
@avsm
Copy link
Member

avsm commented Jul 21, 2016

@mato bulk build results across more distros at

https://github.com/avsm/opam-pr-build-results/blob/7020/README.md

@mato
Copy link
Contributor Author

mato commented Jul 21, 2016

@avsm Thanks for the pointer. Looks reasonable, Centos 6 failures are presumably due to an old gcc / not shipping stdint.h in the right place. Not much I can do about that right now.

@mato mato deleted the opam-publish/solo5-kernel-virtio.0.1.1 branch August 14, 2018 10:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

4 participants