Messages in this thread | | | Date | Fri, 1 Feb 2008 01:42:12 +0100 | From | Pavel Machek <> | Subject | how to tell i386 from x86-64 kernel |
| |
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 -- (english) http://www.livejournal.com/~pavelmachek (cesky, pictures) http://atrey.karlin.mff.cuni.cz/~pavel/picture/horses/blog.html
| |