Gabe Black a5ed1590bd X86: Add a root device to the kernel command line.

2009-02-01 00:27:49 -08:00

..

boot

hopefully the final hacky change to make the bus bridge work ok

2007-05-15 17:39:50 -04:00

common

X86: Add a root device to the kernel command line.

2009-02-01 00:27:49 -08:00

example

Errors: Print a URL with a hash of the format string to find more information about an error.

2009-01-30 20:04:15 -05:00

splash2

Configs: Fix for benchmarks that don't use getopt.

2007-11-15 12:58:06 -05:00