thorpej 510cbd8934 Revert revision 1.3.		2002-05-03 17:52:17 +00:00
..
files.x86_64	* Move the mii_bitbang attribute into dev/mii/files.mii	2002-04-16 20:50:16 +00:00
kern.ldscript
Makefile.x86_64
SIMICS	Add the INCLUDE_CONFIG_FILE option to all config files. In config	2002-04-25 15:06:20 +00:00
std.x86_64	Revert revision 1.3.	2002-05-03 17:52:17 +00:00