Add additional explanation to the spontaneous reboot output.
[pintos.git] / doc / 
treef40a5ce966afa62357ab08fb5b8b0bfe91679742
drwxr-xr-x   ..
-rw-r--r-- 196 .cvsignore
-rw-r--r-- 16462 44bsd.texi
-rw-r--r-- 918 Makefile
-rw-r--r-- 4717 bibliography.texi
-rw-r--r-- 30142 debug.texi
-rw-r--r-- 10243 devel.texi
-rw-r--r-- 2291 doc.texi
-rw-r--r-- 21406 filesys.texi
-rw-r--r-- 5237 filesys.tmpl
-rw-r--r-- 7671 installation.texi
-rw-r--r-- 25363 intro.texi
-rw-r--r-- 4532 license.texi
-rw-r--r-- 574 pintos-t2h.init
-rw-r--r-- 983 pintos.css
-rw-r--r-- 1447 pintos.texi
-rw-r--r-- 91950 reference.texi
-rw-r--r-- 3971 sample.tmpl
-rw-r--r-- 7503 standards.texi
-rwxr-xr-x 186782 texi2html
-rw-r--r-- 223645 texinfo.tex
-rw-r--r-- 31348 threads.texi
-rw-r--r-- 5244 threads.tmpl
-rw-r--r-- 48196 userprog.texi
-rw-r--r-- 5269 userprog.tmpl
-rw-r--r-- 30971 vm.texi
-rw-r--r-- 5644 vm.tmpl