EM64T, 32bit userland, jaky kernel?

[Jan Houstek]

Zdravim,

instaluju server (jakysi pomerne novy a vykonny 4-way Xeon), procesory umi
EM64T (amd64 architektura v podani Intelu).

Samotny system bude z mnoha duvodu (ktere zde nechci upresnovat)
32bitovy, uvazuju ale o tom, ze bych alespon kernel pouzil 64bitovy,
minimalne kvuli primemu adresovani vic nez 4 GB pameti a nonexec32=on.

Je to rozumne? Napadaji vas nejake zajimave vyhody a nevyhody v porovnani
s ciste 32bitovou variantou?

-- Honza Houstek