Waldemar Brodkorb d72b0c1432 unbreak rpi kernel support, HIGHMEM seems unusable 8 years ago
..
config d72b0c1432 unbreak rpi kernel support, HIGHMEM seems unusable 8 years ago
patches 362bd31a15 bump linux kernel versions 8 years ago
Config.in 83a8feb1d6 allow to choose drivers for generic support, reported by Oliver 8 years ago
kernel.config 71da71d92d optimize for really small systems 9 years ago
kernel.control afab289b26 add some native build fixes (tested on Lemote notebook) 14 years ago