Stack Overflow
Stack Overflow

Questions tagged [mirage]

An OCaml-based programming framework for building type-safe, modular systems.

MirageOS is a library operating system that constructs unikernels for secure, high-performance network applications across a variety of cloud computing and mobile platforms.

Code can be developed on a normal OS such as Linux or OS X, and then compiled into a fully-standalone, specialised unikernel that runs under the Xen hypervisor.

Links

MirageOS website

Mirage on GitHub

See Also:

32 questions
9
votes
2 answers

How is Docker related to exokernal approach like Mirage OS?

How is Docker related to exokernal approaches like MirageOS? For some information about MirageOS…
user570599
  • 111
  • 4
8
votes
2 answers

Mirage undefined error (no route defined) when testing with Vue and Cypress

I have Cypress running in a Vue CLI App and recently added Mirage to extend the mocking of my database. I followed Mirage's quickstart tutorial to use it in Cypress and now I am trying to re-write my login test. The login in the application works…
J. Unkrass
  • 730
  • 5
  • 16
5
votes
2 answers

MirageOS - Unable to build unikernel for XEN

I've written a simple MirageOS-based Unikernel to execute a basic HTTP GET call. While it is working without any problems when I run it as a Unix binary, the moment I configure it for XEN (mirage configure --xen) and launch the make command, I get…
Vittorio Cozzolino
  • 931
  • 1
  • 14
  • 31
4
votes
2 answers

Inserting most downloaded items into XMLUI (DSpace 6.2)

I am using XMLUI (Mirage) on DSpace 6.2 and am trying to insert the "Most Downloaded Items" into the home page. I have figured out the SOLR query for this, namely (in page-structure.xsl): …
Shaun Donovan
  • 53
  • 7
4
votes
1 answer

How to deploy MirageOS example to AWS

Note: I looks like this is an outstanding issue: http://lists.xenproject.org/archives/html/mirageos-devel/2016-02/msg00076.html and https://github.com/mirage/mirage-bootvar-xen/issues/17 I'm trying to get the "hello" example from mirage-skeleton…
Juan Chanco
  • 157
  • 6
3
votes
1 answer

An VR app developed using google vr sdk for unity with android can be used on a Lenovo Mirage Solo with Daydream?

I am developing a VR app using google vr sdk for unity. But I have a doubt, this app could be used on a Lenovo Mirage Solo? or only on a Daydream view device? Thanks in advance.
Pato Avila
  • 31
  • 1
3
votes
1 answer

did mirage OS implemented the linux kernel in OCaml?

Is it true that mirage is a new implementation of unix kernel with OCaml instead of C? or is mirage implemented only a part of unix kernel in Ocaml? Thanks.
Soheila DehghanZadeh
  • 379
  • 2
  • 4
  • 14
3
votes
0 answers

Unbound value Mirage.load when executing make depend

I'm trying to compile and build this simple Unikernel project https://github.com/MagnusS/mirage-stats-demo under Ubuntu 14.04 with latest versions of OCaml, OPAM and related packages, but when I execute the command make depend the following error…
Vittorio Cozzolino
  • 931
  • 1
  • 14
  • 31
3
votes
2 answers

How to build a Xen unikernel of Mirage OS

I read this document(http://openmirage.org/wiki/hello-world) and tried to build a xen unikernel as follows: mirage configure --xen make depend make But failed at compilation: ocamlbuild -classic-display -use-ocamlfind -pkgs…
garasubo
  • 85
  • 7
2
votes
2 answers

How to seed models with polymorphic one to one relationship in mirage js?

this is just an example, I understand that you would normally have multiple comments, but for the sake of this example, lets assume that we have following models: models: { blogPost: Model.extend({ comment: belongsTo(), }), …
J Doe
  • 132
  • 7
2
votes
0 answers

Using C library in mirageos

I need to do U2F in a mirageos project, and as far as I can tell there are no ocaml implementations of it. I've read this article on the blog and it sounds like it should be possible to use the C library provided by yubico for this, but the article…
Ulrar
  • 895
  • 8
  • 17
2
votes
1 answer

Lwt.async() not working as expected

I'm developing a web service in Ocaml on top of MirageOS(Unix) and at the moment I'm having some trouble with Lwt.async(). The Lwt documentation states the following: val async : (unit -> 'a t) -> unit async f starts a thread without waiting for…
Vittorio Cozzolino
  • 931
  • 1
  • 14
  • 31
2
votes
1 answer

Is it possible to get the remote IP address in ocaml cohttp or conduit?

Is it possible to get the remote IP address at the conduit or cohttp level? I've tried digging though the source code, but it seems to be buried under several layers of abstraction. I'm writing rest services that I plan to deploy as unikernels and…
Juan Chanco
  • 157
  • 6
2
votes
2 answers

ocamlopt and ocamlbuild give an Unbound module error despite ocamlfind seeing the required module

I'm attempting to build the xencat tool from this project. When I try to use ocamlopt to build it, I get $ ocamlopt -o xencat xencat.ml File "xencat.ml", line 1, characters 5-13: Error: Unbound module Cmdliner Following guidance here, I verified…
T.D. Smith
  • 984
  • 2
  • 7
  • 22
2
votes
1 answer

MirageOS - Http-fetch example

I'm trying to modify a bit the MirageOS http-fetch example (https://github.com/mirage/mirage-skeleton) that can be found inside mirage-skeleton but I'm having some problems understanding why I can't move some of the function executed inside the…
Vittorio Cozzolino
  • 931
  • 1
  • 14
  • 31
1
2 3