[Caml-list] OCaml and SGX

[Ivana Vukotic <ivanatodvuk@gmail.com>]

[-- Attachment #1: Type: text/plain, Size: 1139 bytes --]

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

[-- Attachment #2: Type: text/html, Size: 1413 bytes --]