I think the main point behind Intel developing x32 is mobile (due to limited memory bandwidth). If would not be surprised if a future x32 enabled Tizen comes with 64 bit kernel&toolchain and everything else 32 bit.
Originally Posted by smitty3268
Is Intel behind x32? I thought it was the server guys, who wanted to bump up their benchmark scores.
Originally Posted by chithanh
Mobile is one possibility, but I'm not sure it's the reason x32 exists.
See H. Peter Anvin's original x32 presentation (he works for Intel):
Slide 10 explicitly mentions embedded devices as use case, although it is also possible to have better performance on other systems.