http://www.w3.org/ns/prov#value | - In this last case, make config (or menuconfig) is the only one we can be sure will offer all the options we can choose; for the other types of configuration it depends on whether the programs have been adapted to the new options in time for the kernel being released.
|