Update name

Use generic 6.828 url (without year)

Make runoff happy

rev8

xv6 as of OSDI 2012 submission

2012 book version

Rev 6

Rev 5

Rev 4

Rev 3

Rev 1