===================================================================
RCS file: /cvsrepo/anoncvs/cvs/www/amd64.html,v
retrieving revision 1.181
retrieving revision 1.182
diff -c -r1.181 -r1.182
*** www/amd64.html	2007/12/05 14:36:04	1.181
--- www/amd64.html	2007/12/15 19:42:59	1.182
***************
*** 21,34 ****
  
  <p>
  OpenBSD/amd64 runs on AMD's Athlon-64 family of processors in 64-bit mode.
! 
  <p>
- It also runs on the Intel ia32e processors which contain cloned
- support for the AMD64 extensions, but since Intel left out support for
- the page table NXE bit (No-EXecute) there is no W^X support on the Intel
- CPUs.
- 
- <p>
  Note that <a href="i386.html">OpenBSD/i386</a> also runs on these
  processors, but in 32-bit mode.
  
--- 21,31 ----
  
  <p>
  OpenBSD/amd64 runs on AMD's Athlon-64 family of processors in 64-bit mode.
! It also runs on processors made by other manufacturers which have cloned
! the AMD64 extensions.  (Some Intel processors lack support for important
! PAE NX bit, which means those machines will run without any W^X support --
! it is thus safer to run those machines in i386 mode).
  <p>
  Note that <a href="i386.html">OpenBSD/i386</a> also runs on these
  processors, but in 32-bit mode.
  
***************
*** 1711,1717 ****
  <br>
  <small><a href="mailto:www@openbsd.org">www@openbsd.org</a></small>
  <br>
! <small>$OpenBSD: amd64.html,v 1.181 2007/12/05 14:36:04 jmc Exp $</small>
  
  </body>
  </html>
--- 1708,1714 ----
  <br>
  <small><a href="mailto:www@openbsd.org">www@openbsd.org</a></small>
  <br>
! <small>$OpenBSD: amd64.html,v 1.182 2007/12/15 19:42:59 deraadt Exp $</small>
  
  </body>
  </html>