Clarify stack limit.

[pintos-anon] / doc / vm.texi

diff --git a/doc/vm.texi b/doc/vm.texi
index 8ea6ee46b8c37b6897df3ddd365ed9428c731d1e..982cdcb4f3d06bdd619e22c196c9cc0e8ea713da 100644 (file)
--- a/doc/vm.texi
+++ b/doc/vm.texi
@@ -501,8 +501,9 @@ not be restartable in a straightforward fashion.)  Similarly, the
 bytes below the stack pointer.
 
 You may impose some absolute limit on stack size, as do most OSes.
-(Some OSes make the limit user-adjustable, e.g.@: with the
-@command{ulimit} command on many Unix systems.)
+Some OSes make the limit user-adjustable, e.g.@: with the
+@command{ulimit} command on many Unix systems.  On many GNU/Linux systems,
+the default limit is 8 MB.
 
 The first stack page need not be allocated lazily.  You can initialize
 it with the command line arguments at load time, with no need to wait