* Linus Torvalds: > Apparently the main real use case is for extreme benchmarking. It's > the only use-case where the complexity of maintaining a whole > development environment and distro is worth it, it seems. Apparently a > number of Spec submissions have been done with the x32 model. Are you sure GCC was used for that? ICC has a 32-bit pointer mode which does not change the (64-bit) kernel interface. Thanks, Florian