Gabe Black 657b52fea1 X86: Use the existing boot_osflags instead of duplicating it. ... --HG-- extra : convert_revision : e04e438d7d261a61c52b946c23cd126ed648814a		2008-01-21 04:32:34 -05:00
..
boot	hopefully the final hacky change to make the bus bridge work ok	2007-05-15 17:39:50 -04:00
common	X86: Use the existing boot_osflags instead of duplicating it.	2008-01-21 04:32:34 -05:00
example	X86: Move startup code to the system object to initialize a Linux system.	2007-12-01 23:09:56 -08:00
splash2	Configs: Fix for benchmarks that don't use getopt.	2007-11-15 12:58:06 -05:00