f11-xo1 kernel sources?

[Chris Ball]

Hi,

   >> http://xs-dev.laptop.org/~dsd/repos/

   > Thanks.  But this has only the compiled kernels.  What about the
   > kernel .src.rpms (in case someone wants to add modules or
   > recompile)?

Ah, yeah.  They're at http://dev.laptop.org/~kernels/, and I've
updated the kernel build script to push a copy of the SRPM towards
the xs-dev repo too.

- Chris.
-- 
Chris Ball   <cjb at laptop.org>
One Laptop Per Child