Re: [MirageOS-devel] Issues with CLOCK on xen

[Thomas Gazagnaire <thomas@xxxxxxxxxxxxxx>]

>    let unix_libs =
>      match get_mode () with
>      | `Unix -> ["mirage-clock-unix"]
>      | _ -> []

I think using `Xen -> ["mirage-clock-xen"] should be better. Not sure it will 
help with your problem, though ...

(the relevant code in mirage/lib is 
https://github.com/mirage/mirage/blob/master/lib/mirage.ml#L384

Thomas

> 
>    let () =
>        add_to_ocamlfind_libraries unix_libs;
>        ...
> 
> This is mostly copied out of the skeleton examples. I know the clock 
> interface has been changing a bit recently but it works fine under unix. My 
> guess is that the clock driver is skipped because it's not referenced (except 
> in my code) but I'm not sure how to do that properly. How can I force it to 
> be included?
> 
> Thanks,
> Toby
> 
> 
> _______________________________________________
> MirageOS-devel mailing list
> MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
> http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel


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