stubdom: add functions for caml runtime

Signed-off-by: Samuel Thibault <samuel.thibault@eu.citrix.com>

diff --git a/include/posix/unistd.h b/include/posix/unistd.h
index 373f07205a4215ab0d1bafc27389855cffb595db..d7e43cde6b5b9788e3bf54f83f087a8edd5d0472 100644 (file)
--- a/include/posix/unistd.h
+++ b/include/posix/unistd.h
@@ -2,10 +2,8 @@
 #define _POSIX_UNISTD_H
 
 #include_next <unistd.h>
-#include <mini-os/arch_limits.h>
-
-#define getpagesize() __PAGE_SIZE
 
+size_t getpagesize(void);
 int ftruncate(int fd, off_t length);
 
 #endif /* _POSIX_UNISTD_H */

diff --git a/lib/sys.c b/lib/sys.c
index 0a98d30143b92e39d938a6daf7a4eb6c5bdf2080..0e88a76e719088e55c4cef7ed58ff24e74a3750e 100644 (file)
--- a/lib/sys.c
+++ b/lib/sys.c
@@ -1094,6 +1094,11 @@ int clock_gettime(clockid_t clk_id, struct timespec *tp)
     return 0;
 }
 
+size_t getpagesize(void)
+{
+    return PAGE_SIZE;
+}
+
 void *mmap(void *start, size_t length, int prot, int flags, int fd, off_t offset)
 {
     unsigned long n = (length + PAGE_SIZE - 1) / PAGE_SIZE;
@@ -1212,7 +1217,9 @@ unsupported_function_crash(kill);
 unsupported_function_crash(pipe);
 unsupported_function_crash(fork);
 unsupported_function_crash(execv);
+unsupported_function_crash(execve);
 unsupported_function_crash(waitpid);
+unsupported_function_crash(wait);
 unsupported_function_crash(lockf);
 unsupported_function_crash(sysconf);
 unsupported_function(int, tcsetattr, -1);