.. |
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 |