Re: how to tell i386 from x86-64 kernel

[H. Peter Anvin]

Pavel Machek wrote:
> Hi!
>
> Quiz: on a booted system, how do you tell 32bit from 64bit kernel?
>
> A1: zcat /proc/config.gz | grep CONFIG_64
>
> ...but config.gz is optional
>
> A2: cat /proc/meminfo  | grep High
>
> ...but i386 kernel could have highmem disabled
>
> What is _your_ answer? ;-)>
> 									Pavel

uname -m

	-hpa
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/