From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <jonathan.roewen@gmail.com>
Delivered-To: caml-list@yquem.inria.fr
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78])
	by yquem.inria.fr (Postfix) with ESMTP id B4EF9BB91
	for <caml-list@yquem.inria.fr>; Fri, 10 Dec 2004 22:26:27 +0100 (CET)
Received: from rproxy.gmail.com (rproxy.gmail.com [64.233.170.201])
	by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id iBALQQJP015037
	for <caml-list@yquem.inria.fr>; Fri, 10 Dec 2004 22:26:27 +0100
Received: by rproxy.gmail.com with SMTP id y7so1244782rne
        for <caml-list@yquem.inria.fr>; Fri, 10 Dec 2004 13:26:26 -0800 (PST)
DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws;
        s=beta; d=gmail.com;
        h=received:message-id:date:from:reply-to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:references;
        b=HjEFTw3boldQo1sVKp+MOrcqMImT3qaJJXiCrpRV72Kh7gwj2qOJQDfxHD7iP0n5EA0LlFH8IfF8DvVti1OECG+S5L3KOgdDtLkrg5DIGXtmrKr7lRKsmnlOjK5Xp3FIzLs33ICcL16iTnsk5ar+LN1do2py40ceK8B0Dff0uh4=
Received: by 10.38.126.79 with SMTP id y79mr244312rnc;
        Fri, 10 Dec 2004 13:26:26 -0800 (PST)
Received: by 10.38.209.61 with HTTP; Fri, 10 Dec 2004 13:26:26 -0800 (PST)
Message-ID: <ad8cfe7e04121013265eff7d60@mail.gmail.com>
Date: Sat, 11 Dec 2004 10:26:26 +1300
From: Jonathan Roewen <jonathan.roewen@gmail.com>
Reply-To: Jonathan Roewen <jonathan.roewen@gmail.com>
Subject: Re: [Caml-list] Using OCaml in a kernel
Cc: caml-list@yquem.inria.fr
In-Reply-To: <1102320552.663.45.camel@localhost>
Mime-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
References: <ad8cfe7e04120516485e090a7f@mail.gmail.com>
	 <1102320552.663.45.camel@localhost>
X-Miltered: at nez-perce with ID 41BA1482.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)!
X-Spam: no; 0.00; caml-list:01 ocaml:01 libasmrun:01 exn:01 struct:01 stack:01 frametable:01 globals:01 asmrun:01 functions:01 kernel:01 grep:01 defined:01 data:02 caml:02 
X-Spam-Checker-Version: SpamAssassin 3.0.0 (2004-09-13) on yquem.inria.fr
X-Spam-Status: No, score=0.0 required=5.0 tests=RCVD_BY_IP autolearn=disabled 
	version=3.0.0
X-Spam-Level: 

I've tried manually compiling libasmrun.a, but I'm getting some
strange unresolved symbols to caml functions/declarations.

startup.o:
 caml_data_segments
 caml_code_segments
i386.o
 caml_program
 caml_apply2
 caml_apply3
fail.o:
 caml_exn_Failure (basically whole lot from the struct with these in it)
 caml_bucket_Out_of_memory
 caml_bucket_Stack_overflow
roots.o:
 caml_frametable
 caml_globals

I've used grep on the files in /asmrun, and I can't find the
definition of the symbols, just their declarations and usage. The only
file I've yet to check is fail.c, but certainly the others are using
symbols not defined anywhere I can find.

Regards,

Jonathan Roewen