Re: [MirageOS-devel] Hello World Missing Linker Script

[Thomas Leonard <talex5@xxxxxxxxx>]

On 13 July 2016 at 15:31, John P. McDermott (USN Civilian)
<john.mcdermott@xxxxxxxxxxxx> wrote:
> 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.

Hi John,

This does look like the problem. First, ensure the aspcud package is
installed. Without this, opam falls back to its internal solver which
is often buggy. If that doesn't help, try forcing a recent version
with:

$ opam update
$ opam install mirage.2.9.0

That should at least tell you why it can't install that version.

> 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



-- 
talex5 (GitHub/Twitter)        http://roscidus.com/blog/
GPG: 5DD5 8D70 899C 454A 966D  6A51 7513 3C8F 94F6 E0CC
GPG: DA98 25AE CAD0 8975 7CDA  BD8E 0713 3F96 CA74 D8BA

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