Stanislav Shwartsman c009e87a81 Remove external debugger interface: ... - it is closed source (!!!) - we have very nice replacement now		2008-10-01 09:44:40 +00:00
..
docbook	Remove external debugger interface:	2008-10-01 09:44:40 +00:00
man	Implement modern BIOS mode for limiting max reported CPUID function to 3.	2008-09-22 21:38:15 +00:00