Весь день мучаюсь, перебрал несколько вариантов отсюда, однако, либо вообще попадается битое дерево, либо же вот такая ошибка вылезает:
drivers/staging/media/lirc/lirc_rpi.c:42:23: fatal error: mach/gpio.h: No such file or directory
compilation terminated.
make[4]: *** [drivers/staging/media/lirc/lirc_rpi.o] Ошибка 1
make[3]: *** [drivers/staging/media/lirc] Ошибка 2
make[2]: *** [drivers/staging/media] Ошибка 2
make[1]: *** [drivers/staging] Ошибка 2
make: *** [drivers] Ошибка 2
Может, пропатченное под малинку ядро из какого-то другого источника надо качать?
Очень хочу на генту перейти. Сил моих нет бодаться с дебилианом!