[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[MirageOS-devel] Hello World Missing Linker Script



MirageOS Devs,

I am part of a project at NRL that researches security-focused derivatives of 
Xen. So we are interested in Mirage, for obvious reasons. I am trying to 
demonstrate to my management that Mirage will build and run on Ubuntu 14.04 
LTS. Switching to another distro is not an option. I am a complete OCaml noob.

To demonstrate Mirage running on 14.04, I am trying to make the Hello Word 
tutorial work. I have made it to the point where you run ‘make’ in 
mirage-skeleton/console. Make fails because it cannot find 
~/.opam/4.02.1/lib/mirage-xen/mirage-x86_64.lds

I looked for this file on GitHub and could not find it.

My current OCaml install is by bootstrapping the latest ‘opam’, using

        wget https://raw.github.com/ocaml/opam/master/shell/opam_installer.sh 
-O - | sh -s /usr/local/bin

This gives me 

        mc:~/mirage-skeleton/console$ opam --version
        1.2.2

and

        mc:~/mirage-skeleton/console$ ocaml -version
        The OCaml toplevel, version 4.02.1

which is good, but

        mc:~/mirage-skeleton/console$ mirage --version
        1.1.0

which is not good, according to the readme file inside mirage-skeleton. My 
attempts to get ‘opam’ to install a later version of Mirage have not succeeded.

The Mirage skeleton is what I have from

        git clone git://github.com/mirage/mirage-skeleton.git

following the tutorial. I could checkout a detached head of this repo, if I 
knew the snapshot that is supposed to work with my version of Mirage.

Can anyone suggest a snapshot for mirage-skeleton that would work with earlier 
versions of Mirage? Alternatively, is there somewhere other than GitHub that 
has the missing linker script?

Sincerely,

John



_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel

 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.