Found the latest kernel image (still 3.1.9-based..) and associated pre-compiled modules at the git repository – https://github.com/raspberrypi/firmware – and the ‘new’ version of kernel.img does away with the annoying console debug messages.. Device still seems very slow, but maybe I’m too used to quad-core systems with masses of memory! I even tried the Debian system, as this … Continue reading →