Re: Porting OCaml to a Custom OS

Re: Porting OCaml to a Custom OS

[Xavier Leroy]

>   I am trying to port ocaml to a custom operating system made using Oskit. I
> have got *ocamlrun* and *ocamlyacc* ported to it. I compiled these on
> Linux 2.2.13 on Redhat 6.0. I forced these tools to be built by using
> 'gcc' with the -nostdinc and -nostdlib so that it only uses the libraries
> and include files I want.  

Sounds good.

>  OSkit presently resides on Linux as a set of libraries and device
> drivers. It has no filesystem .I can boot images of executables which can
> then be loaded as a kernel . 
>   In the case of ocaml, I cannot compile .ml files at this stage since
> they will not run on Linux. How do i force it to compile  .ml files ?

You'll need to cross-compile.  That is, install a regular OCaml on
your Linux development machine and use it to generate bytecode
executables.  Then, hopefully, you should be able to transfer those
bytecode executables to the OSkit memory and execute them from there
using your modified ocamlrun.

- Xavier Leroy

OCaml makefile template comments

[David Mentré]

I've used the generic OCaml Makfile (at:
http://caml.inria.fr/FAQ/Makefile_ocaml.tpl) and I have 2 comments:

 1. target $(EXEC).opt

$(EXEC).opt: $(OPTOBJS)
        $(CAMLOPT) -o $(EXEC) $(LIBS:.cma=.cmxa) $(OPTOBJS)
                      ^^^^^^I think it is $(EXEC).opt here, no?

 2. Makefile with subdirectories. This makefile is not made to allow
    subdirectories. I've managed to use it for a subdir by adding a '-I
    subdir' option to $(CAMLC) and $(CAMLOPT) and modifying targets
    depend:, .depend: (to add -I option) and clean:.

    Does anybody know a good makefile model to compile in subdirs
    (without recursive makefile) for OCaml?


Best regards,
david
-- 
 David.Mentre@irisa.fr -- http://www.irisa.fr/prive/dmentre/
 Opinions expressed here are only mine.

Porting OCaml to A Custom OS

[Ravi Chamarty]

Hi, 
 I am trying to port OCaml to a custom operating system which is tailored
to my needs. I wish to know what things to be taken care of. I would be
specifically interested to know which parts of the code I may be required
to modify? 
  What are the interfaces OCaml uses to talk with the OS ?

Thanks,
Ravi 

----------------------------------------------------------
Ravi S Chamarty                   E-mail: ravi@ittc.ukans.edu
Graduate Research Assistant,       Voice :785-864-7799 
ITTC,2291 Irving Hill Road,                
University of Kansas,
Lawrence KS 66044-7541

Re: Porting OCaml to A Custom OS

[Xavier Leroy]

> Hi, 
>  I am trying to port OCaml to a custom operating system which is tailored
> to my needs. I wish to know what things to be taken care of. I would be
> specifically interested to know which parts of the code I may be required
> to modify? 
>   What are the interfaces OCaml uses to talk with the OS ?

The core runtime system uses essentially ANSI C plus a little bit of POSIX
(file descriptors, open/read/write/lseek/close).  In particular, all
memory is allocated using malloc().

Some of the external libraries are more OS-dependent.  For instance,
the "Unix" library relies heavily on POSIX, although a partial port to
Win32 is also available.

If you have more specific questions, feel free to ask us (caml@inria.fr)
directly.

- Xavier Leroy