aboutsummaryrefslogtreecommitdiffstats
path: root/extras/mini-os/main-caml.c
diff options
context:
space:
mode:
authorKeir Fraser <keir.fraser@citrix.com>2008-05-28 09:30:48 +0100
committerKeir Fraser <keir.fraser@citrix.com>2008-05-28 09:30:48 +0100
commitf9b4231a673d75dd6404ac5df8a47adc04437e6b (patch)
tree67d37f19b98706274ec6af9245082f25622341a8 /extras/mini-os/main-caml.c
parent4151cc56f19b3fe8aabde12ddf532cd9502c637d (diff)
downloadxen-f9b4231a673d75dd6404ac5df8a47adc04437e6b.tar.gz
xen-f9b4231a673d75dd6404ac5df8a47adc04437e6b.tar.bz2
xen-f9b4231a673d75dd6404ac5df8a47adc04437e6b.zip
stubdom: make the build more generic by moving as many stubdom parts
into stubdom/ as possible. That also permits to build all of ioemu, c and caml stubdoms at the same time. Signed-off-by: Samuel Thibault <samuel.thibault@eu.citrix.com>
Diffstat (limited to 'extras/mini-os/main-caml.c')
-rw-r--r--extras/mini-os/main-caml.c42
1 files changed, 0 insertions, 42 deletions
diff --git a/extras/mini-os/main-caml.c b/extras/mini-os/main-caml.c
deleted file mode 100644
index dd55aca38f..0000000000
--- a/extras/mini-os/main-caml.c
+++ /dev/null
@@ -1,42 +0,0 @@
-/*
- * Caml bootstrap
- *
- * Samuel Thibault <Samuel.Thibault@eu.citrix.net>, January 2008
- */
-
-#include <stdio.h>
-#include <errno.h>
-
-#include <caml/mlvalues.h>
-#include <caml/callback.h>
-#include <unistd.h>
-
-/* Ugly binary compatibility with Linux */
-FILE *_stderr asm("stderr");
-int *__errno_location;
-/* Will probably break everything, probably need to fetch from glibc */
-void *__ctype_b_loc;
-
-int main(int argc, char *argv[], char *envp[])
-{
- value *val;
-
- /* Get current thread's value */
- _stderr = stderr;
- __errno_location = &errno;
-
- printf("starting caml\n");
-
- /* Wait before things might hang up */
- sleep(1);
-
- caml_startup(argv);
- val = caml_named_value("main");
- if (!val) {
- printf("Couldn't find Caml main");
- return 1;
- }
- caml_callback(*val, Val_int(0));
- printf("callback returned\n");
- return 0;
-}