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