Gabe Black 3af428606a X86: Rename the PC device to Pc. ... --HG-- rename : src/dev/x86/PC.py => src/dev/x86/Pc.py		2008-10-11 02:23:40 -07:00
..
boot	hopefully the final hacky change to make the bus bridge work ok	2007-05-15 17:39:50 -04:00
common	X86: Rename the PC device to Pc.	2008-10-11 02:23:40 -07:00
example	process: separate stderr from stdout	2008-07-23 14:41:34 -07:00
splash2	Configs: Fix for benchmarks that don't use getopt.	2007-11-15 12:58:06 -05:00