Hi, I searched over the archives but I couldn't find anything about how one could change the kernel version. The only available option for AVR32, 2.6.22, is unable to boot on an STK1000 due to a bug in the MMC drivers, so I would like to change it to 2.6.18 which actually works. Kind Regards, Thiago A. Correa