Select Git revision
- Branches 1
- master default
- Tags 16
- xv6-rev11
- xv6-rev9
- xv6-rev8
- osdi12-submit
- xv6-rev7
- xv6-rev6
- xv6-rev0
- xv6-rev1
- xv6-rev3
- xv6-rev5
- xv6-rev4
- xv6-2010
- xv6-2006
- xv6-2008
- xv6-2007
- symlinks
-
Be more explicit that we are not maintaining the x86 version anymore · eeb7b415Frans Kaashoek authoredeeb7b415