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