Volker Ruppert fc482db353 - improved documentation for the 'log options by device" feature		2012-04-07 10:52:36 +00:00
..
docbook	- improved documentation for the 'log options by device" feature	2012-04-07 10:52:36 +00:00
man	mvoed MWAIT_IS_NOP option from CPUID to CPU - it has meaning even if CPUID tree is not used because CPU is configured with CPUDB pre-defined configuration	2012-03-15 19:46:57 +00:00