From: Ivana Vukotic <ivanatodvuk@gmail.com>
To: nicolas.ojeda.bar@lexifi.com, caml-list@inria.fr
Subject: Re: [Caml-list] OCaml and SGX
Date: Thu, 11 Oct 2018 13:51:48 +0200 [thread overview]
Message-ID: <CAE-ccOxG_XA7uXqq5=RtgY6-4vLqo+3W2X+2o7nqtXupoZmNFA@mail.gmail.com> (raw)
In-Reply-To: <CADK7aFNPm640fvH9CiE=fczqm-3i5FRsoqmAatoFA+LtohF6AA@mail.gmail.com>
[-- Attachment #1: Type: text/plain, Size: 2058 bytes --]
Dera Nicolas,
Thank you for your suggestion!
Actually I already posted the same question with code on the github:
https://github.com/intel/linux-sgx/issues/315
Best,
Ivana
On Thu, Oct 11, 2018 at 1:42 PM Nicolás Ojeda Bär <
nicolas.ojeda.bar@lexifi.com> wrote:
> Dear Ivana,
>
> You may get more people willing to help if you put up the simple
> example somewhere publicly accessible, such as github.
>
> Best wishes,
> Nicolás
> On Tue, Oct 9, 2018 at 6:23 PM Ivana Vukotic <ivanatodvuk@gmail.com>
> wrote:
> >
> > Hi,
> >
> > We are trying to run some OCaml code within an Intel SGX enclave.
> >
> > This OCaml code is called by a C wrapper using the method described
> > here: https://caml.inria.fr/pub/docs/manual-ocaml/intfc.html
> >
> > Because Intel SGX doesn't support the entire standard C library, we had
> > to create ocalls for the functions that are used by ocamlrun but not
> > supported by SGX. Using the functionalities provided by Intel SGX, we
> > managed to create an .so library containing our OCaml code along with
> > the C wrapper. This .so library is what is meant to run in an SGX
> > enclave (we so far only implemented the ocalls that we needed, and not
> > all missing functionalities from ocamlrun).
> >
> > Our problem is now that when we call caml_startup from within our C
> > wrapper (in order to start the OCaml code), the code seem to simply call
> > 'exit' and stop there. Does anyone know why this call to caml_startup
> > would call 'exit'?
> >
> > We managed to create a simple example, which I can forward to anyone
> interested
> > to take a look (unfortunately mailing list has a limited attachment and
> I can not
> > send it).
> >
> > Please note that we use ocaml 4.06.1 and gcc 7.3.0
> >
> > Best,
> >
> > Ivana
>
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
[-- Attachment #2: Type: text/html, Size: 2641 bytes --]
next prev parent reply other threads:[~2018-10-11 11:52 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-10-09 16:23 Ivana Vukotic
[not found] ` <CADK7aFNPm640fvH9CiE=fczqm-3i5FRsoqmAatoFA+LtohF6AA@mail.gmail.com>
2018-10-11 11:51 ` Ivana Vukotic [this message]
2018-10-11 11:59 ` Nicolás Ojeda Bär
2018-10-11 14:02 ` Ivana Vukotic
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to='CAE-ccOxG_XA7uXqq5=RtgY6-4vLqo+3W2X+2o7nqtXupoZmNFA@mail.gmail.com' \
--to=ivanatodvuk@gmail.com \
--cc=caml-list@inria.fr \
--cc=nicolas.ojeda.bar@lexifi.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).