I sent a message and it looks like it got rejected... basically I found out
that ia32e is EM64T(Intel's marketing name for it).
I was thinking it was the itanium arch which is actually ia64. But either
way...
EM64T is supposed to run on AMD64... and it appears that the Intel chips do
support the NXE bit since around 2005.
Can anyone confirm that the newer ia32e chips (made after early 2005) are
actually supporting W^X? It seems that just because NXE is shown in the dmesg
wouldn't necessarily mean that OpenBSD would then use it.
If it is indeed supported.. could someone change the message on the AMD64 page?
http://www.openbsd.org/amd64.html
It does seem useful to know this information for this platform and I have
veered away from AMD64 for the last year because of it.
