O Ubuntu 14.04 possui 3.13 kernel do Linux instalado. Você pode obter seu código fonte aqui
link
Eu quero modificar e quero fazer meu próprio sistema operacional usando o código-fonte, então, obviamente, primeiro eu preciso do kernel. Eu decidi que usaria o kernel do Ubuntu 14.04 (Trusty Tahr). Onde faço o download?
O Ubuntu 14.04 possui 3.13 kernel do Linux instalado. Você pode obter seu código fonte aqui
link