diff --git a/servers/vm/rs.c b/servers/vm/rs.c index e41e80d17..5fef8c447 100644 --- a/servers/vm/rs.c +++ b/servers/vm/rs.c @@ -180,8 +180,20 @@ int do_rs_memctl(message *m_ptr) switch(req) { case VM_RS_MEM_PIN: + + /* Do not perform VM_RS_MEM_PIN yet - it costs the full + * size of the RS stack (64MB by default) in memory, + * and it's needed for functionality that isn't complete / + * merged in current Minix (surviving VM crashes). + */ + +#if 0 r = map_pin_memory(vmp); return r; +#else + return OK; +#endif + case VM_RS_MEM_MAKE_VM: r = rs_memctl_make_vm_instance(vmp); return r;