Waldemar Brodkorb f7ae07959a refresh raspberry pi config, enable tickless system, update to latest stable kernel 12 years ago
..
arm-spitz.patch f7ae07959a refresh raspberry pi config, enable tickless system, update to latest stable kernel 12 years ago
bsd-compatibility.patch f7ae07959a refresh raspberry pi config, enable tickless system, update to latest stable kernel 12 years ago
cris-etrax.patch f7ae07959a refresh raspberry pi config, enable tickless system, update to latest stable kernel 12 years ago
defaults.patch f7ae07959a refresh raspberry pi config, enable tickless system, update to latest stable kernel 12 years ago
disable-netfilter.patch f7ae07959a refresh raspberry pi config, enable tickless system, update to latest stable kernel 12 years ago
gemalto.patch f7ae07959a refresh raspberry pi config, enable tickless system, update to latest stable kernel 12 years ago
lemote-rfkill.patch f7ae07959a refresh raspberry pi config, enable tickless system, update to latest stable kernel 12 years ago
mtd-rootfs.patch f7ae07959a refresh raspberry pi config, enable tickless system, update to latest stable kernel 12 years ago
non-static.patch f7ae07959a refresh raspberry pi config, enable tickless system, update to latest stable kernel 12 years ago
raspberry.patch f7ae07959a refresh raspberry pi config, enable tickless system, update to latest stable kernel 12 years ago
startup.patch f7ae07959a refresh raspberry pi config, enable tickless system, update to latest stable kernel 12 years ago
usb-defaults-off.patch f7ae07959a refresh raspberry pi config, enable tickless system, update to latest stable kernel 12 years ago
uuid.patch f7ae07959a refresh raspberry pi config, enable tickless system, update to latest stable kernel 12 years ago
vga-cons-default-off.patch f7ae07959a refresh raspberry pi config, enable tickless system, update to latest stable kernel 12 years ago
wlan-cf.patch f7ae07959a refresh raspberry pi config, enable tickless system, update to latest stable kernel 12 years ago
zlib-inflate.patch f7ae07959a refresh raspberry pi config, enable tickless system, update to latest stable kernel 12 years ago