diff options
Diffstat (limited to 'web/index.html')
-rw-r--r-- | web/index.html | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/web/index.html b/web/index.html index 5f60112..5e0897d 100644 --- 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 ([email protected]) <br><br> You can reach all of us at [email protected]. <br><br> -<br><br> </body> </html> |