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
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to [EMAIL PROTECTED]
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/
