e62a9bac24c35f4d7fdd14c1417de5b802a283d1
[org.ibex.core.git] / src / org / ibex / plat / Linux.cc
1 #include <stdint.h>
2 #include "X11.cc"
3
4 #include <org/ibex/plat/Linux.h>
5
6 // we love libgcj!
7 extern const char **_Jv_argv;
8 extern int _Jv_argc;
9
10 void org::ibex::plat::Linux::fixEnvironment() {
11   // this wreaks havoc on gdb
12   /*
13     // see http://lists.debian.org/debian-glibc/2003/debian-glibc-200311/msg00647.html
14     const char* ld_assume_kernel = getenv("LD_ASSUME_KERNEL");
15     if (ld_assume_kernel == NULL || strcmp("2.4.1", ld_assume_kernel)) {
16         int result;
17         printf("respawning self (%s) with LD_ASSUME_KERNEL=2.4.1\n", _Jv_argv[0]);
18         setenv("LD_ASSUME_KERNEL", "2.4.1", 1);
19         result = execvp(_Jv_argv[0], (char* const*)((void*)_Jv_argv));
20         printf("execvp() failed with error code %d\n", result);
21         exit(-1);
22     }
23   */
24 }