Waldemar Brodkorb b0e2112c46 allow to choose kernel symbol 8 years ago
..
config b0e2112c46 allow to choose kernel symbol 8 years ago
patches e5ca8420af linux: update 4.1.x to latest stable upstream version 8 years ago
Config.in ce956d0f96 do not enable PCI in kernel by default 9 years ago
kernel.config a8cfd5d214 enable VDSO globally 8 years ago
kernel.control afab289b26 add some native build fixes (tested on Lemote notebook) 13 years ago