Re: [MirageOS-devel] Any way to get caml4p to run on ARM (cubietruck)?

[Magnus Therning <magnus@xxxxxxxxxxxx>]

On Wed, May 20, 2015 at 05:06:27PM +0100, Thomas Gazagnaire wrote:
> > 
> > Unfortunately the segmentation fault remains, but now on `server.ml`.
> > And I think `server.ml` really *has* to be passed through camlp4o,
> > right?
> 
> --- a/src/server.ml
> +++ b/src/server.ml
> @@ -77,13 +77,15 @@ module Main
>          in
>          c_log (sp "URL: '%s'" path)
>          >>= fun () ->
> -        try_lwt
> -          read_assets path >>= fun body ->
> -          S.respond_string ~status:`OK ~body ()
> -        with
> -        | Failure m ->
> -          Printf.printf "CATCH: '%s'\n%!" m;
> -          dynamic read_slides req cpts
> +        Lwt.catch
> +          (fun () ->
> +             read_assets path >>= fun body ->
> +             S.respond_string ~status:`OK ~body ()
> +          ) (function
> +              | Failure m ->
> +                Printf.printf "CATCH: '%s'\n%!" m;
> +                dynamic read_slides req cpts
> +              | e -> Lwt.fail e)
>        in
> 
>        dispatch ~c_log ~read_assets ~read_slides ~conn_id ~req
> 
> should fix it. But you will have the same issue on the next one. 
> 
> Not sure why your cubi is segfauling. Can you increase the memory of
> dom0, or ulimit, or something else? Seems to work fine on my cubi
> ...

`ulimit` give "unlimited".

I'm not sure how to increase the memory of dom0... the memory-related
commands of `xe` seems to require the domain be halted when memory
ranges are modified.

/M

-- 
Magnus Therning                      OpenPGP: 0xAB4DFBA4 
email: magnus@xxxxxxxxxxxx   jabber: magnus@xxxxxxxxxxxx
twitter: magthe               http://therning.org/magnus

If our ideas of intellectual property are wrong, we must change them,
improve them and return them to their original purpose. When
intellectual property rules diminish the supply of new ideas, they
steal from all of us.
     -- Andrew Brown, November 19, 2005, The Guardian

Attachment: pgpAchdJmvLlP.pgp
Description: PGP signature

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