| http://www.w3.org/ns/prov#value | - also, the best way to avoid problems is to copy a working .config file from the currently running kernel to the root direcory of the new kernel, and then do make menuconfig. this sets the options to the same as the running kernel has, so you do not have any surprising choises already made that do not suit you..
|
