diff options
| -rw-r--r-- | web/index.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/web/index.html b/web/index.html index c14e2d0..c3bafc8 100644 --- a/web/index.html +++ b/web/index.html @@ -75,7 +75,7 @@ Finally, writing a new system allowed us to write cleaner versions of the rougher parts of V6, like the scheduler and file system. 6.828 substituted xv6 for V6 in the fall of 2006. -<h2>Xv6 sources</h2> +<h2>Xv6 sources and text</h2> The latest xv6 is <a href="xv6-rev5.tar.gz">xv6-rev5.tar.gz</a>. We distribute the sources in electronic form but also as a printed booklet with line numbers |