diff --git a/manticore/platforms/linux.py b/manticore/platforms/linux.py
index a74fa21..db12351 100644
--- a/manticore/platforms/linux.py
+++ b/manticore/platforms/linux.py
@@ -2621,6 +2621,9 @@ class SLinux(Linux):
 
         return super(SLinux, self).sys_getrandom(buf, size, flags)
 
+    def sys_fork(self):
+        return -errno.ENOSYS
+
     def generate_workspace_files(self):
         def solve_to_fd(data, fd):
             try: