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

[Anil Madhavapeddy <anil@xxxxxxxxxx>]

On 13 Jul 2016, at 16:25, John P. McDermott (USN Civilian) 
<john.mcdermott@xxxxxxxxxxxx> wrote:
> 
> Thanks. Switching OCaml to 4.02.3 and re-running everything brings Mirage up 
> to 2.9.0.

Appreciate the reports!  I've done a sweep of the docs to address some of these 
issues in
https://github.com/mirage/mirage-www/pull/468

and will merge it tomorrow (once I figure out the Debian Stable's packaging 
situation for OPAM 1.2.2).

> 
> Sincerely,
> 
> John (who is learning OCaml based on his Isabelle/HOL experience)

Excellent! Please do let us know if you run into any further roadblocks...

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