Just noticed there is now an official 3.8.y kernel, at:  https://github.com/raspberrypi/linux/tree/rpi-3.8.y-temp This may change to just .…/rpi-3.8.y later.. Code is based on the latest 3.8 kernel – 3.8.4. Select config from: arch/arm/configs/bcmrpi_cutdown_defconfig       arch/arm/configs/bcmrpi_emergency_defconfig arch/arm/configs/bcmrpi_defconfig                     arch/arm/configs/bcmrpi_quick_defconfig I used # make bcmrpi_defconfig Then # make xconfig Under <File systems>, I deselected all file systems support, except ext2/3/4.. Under <File … Continue reading →