xv6: link to xv6-rev4

diff --git a/web/index.html b/web/index.html
index 5f60112387c19732e6b8e6e834727db76ee150da..5e0897da237b5e413b5349ae9042001947397655 100644 (file)
--- a/web/index.html
+++ b/web/index.html
@@ -90,11 +90,11 @@ Jos without xv6; we believe other courses could use
 xv6 without Jos, though we are not aware of any that have.
 
 <h2>Xv6 sources</h2>
-The latest xv6 is <a href="xv6-rev3.tar.gz">xv6-rev3.tar.gz</a>.
+The latest xv6 is <a href="xv6-rev4.tar.gz">xv6-rev4.tar.gz</a>.
 We distribute the sources in electronic form but also as
 a printed booklet with line numbers that keep everyone
 together during lectures.  The booklet is available as
-<a href="xv6-rev3.pdf">xv6-rev3.pdf</a>.
+<a href="xv6-rev4.pdf">xv6-rev4.pdf</a>.
 The xv6 source code is licensed under the traditional <a href="http://www.opensource.org/licenses/mit-license.php">MIT license</a>;
 see the LICENSE file in the source distribution.
 <br><br>
@@ -353,6 +353,5 @@ Robert Morris (rtm@mit.edu)
 <br><br>
 You can reach all of us at 6.828-staff@pdos.csail.mit.edu.
 <br><br>
-<br><br>
 </body>
 </html>

diff --git a/web/index.txt b/web/index.txt
index 6f3e1f6de4ecd416d99ba3af4526496af1377500..4707632829b1d464b58d86277902a5602e3f9dcf 100644 (file)
--- a/web/index.txt
+++ b/web/index.txt
@@ -58,11 +58,13 @@ xv6 without Jos, though we are not aware of any that have.
 
 * Xv6 sources
 
-The latest xv6 is [xv6-rev2.tar.gz].
+The latest xv6 is [xv6-rev4.tar.gz].
 We distribute the sources in electronic form but also as 
 a printed booklet with line numbers that keep everyone
 together during lectures.  The booklet is available as
-[xv6-rev2.pdf].
+[xv6-rev4.pdf].
+The xv6 source code is licensed under the traditional <a href="http://www.opensource.org/licenses/mit-license.php">MIT license</a>;
+see the LICENSE file in the source distribution.
 
 xv6 compiles using the GNU C compiler,
 targeted at the x86 using ELF binaries.
@@ -335,5 +337,3 @@ Robert Morris (rtm@mit.edu)
 
 You can reach all of us at 6.828-staff@pdos.csail.mit.edu.
 
-xv6 and lecture notes are copyright &copy; 2006-present by Russ Cox,
-Frans Kaashoek, and Robert Morris.