Search Results for "user mode linux"

Produces a succinct comparison of two Linux kernel configuration files, showing added, removed and changed settings, in an indented layout reflecting the configurator menus. The resulting text file is coloured when the output is to a terminal; the colours can be retained when redirecting the output to a file or pipe. Now comes with a program to extract configuration variable names and their prompts from their kernel build system, to create a symbol table. The comparison program can use...