Hi William,
the kernel image is the one shipped with Debian 8 images [1]. The git repo is available on github [2]. For the config, you can just zcat /proc/config.gz
Michal
[1] http://elinux.org/CI20_Distros#Debian_8_2015-09-09_Beta [2] https://github.com/MIPS/CI20_linux
On 30.01.2016 20:54 William Cohen wrote:
Hi
Thanks so much for creating the bootable f23 sd card image for the ci20 creator board (http://mipsfedora.imgtec.com/development/23/mipsel/images/ci20/). It seems to work pretty well. One thing I noticed is that it is using a 3.18.3 kernel to boot that isn't packaged as an RPM. Are there instructions on how the kernel was created? Or at the very least do you have pointers to the config file and the source code used to create the kernel. I would like to build a kernel locally, but so far I haven't had much success.
-Will Cohen