![]() | |||||||||||
Messages in this thread |
On Fri 2008-09-12 23:19:21, Thomas Gleixner wrote: > On Fri, 12 Sep 2008, Andi Kleen wrote: > > "Yinghai Lu" <yhlu.kernel@gmail.com> writes: > > > > > > to see how wrong could be set by BIOS. > > > > Just dump it from user space then. There are plenty of tools > > to access ACPI tables. > > 1.) what guarantees that we reach user space ? We can dump in *any* kernel. > 2) If it is _valuable_ information which we can gather via kernel > output, then it is much more conveniant than asking the user to type > whatevercryptictoolcommandline and provide the output. Ooh, 'lets dump more junk at everyone, typing commands is hard' :-(. Pavel -- (english) http://www.livejournal.com/~pavelmachek (cesky, pictures) http://atrey.karlin.mff.cuni.cz/~pavel/picture/horses/blog.html | ||||||||||
| Last update: 2008-09-14 13:43 [from the cache] ©2003-2008 | |||||||||||