linux-headers 3.4.112 看全部


Debian 3.4.112 (orange pi pc plus) offered for download does not provide kernel headers nor config file and i do not find a repository for that. On github there are some sources but it is mainly to create img and i am not sure if the right version of this kernel is 3.4.112 or 4.9 (said 4.9 is for pc plus...).

Questions: what sources were used to compile this kernel and how can i install or build linux-headers-3.4.112 in Debian 3.4.112 arm7l?


Armbian provides kernel headers by default.

If not installed go to armbian-config -> software -> install headers
  • Bench zorgos
  • 2018-4-7 11:56:00
Edited by zorgos at 2018-4-7 11:57

Thx for reply.

I know it is more easy with armbian but i am here to learn...

if like me you look after debian 3.4.112 kernel header, i made deb:!uXxAlJLB!HY0004_zI0OIJIjLNkcGxQ

Not easy for a newbie but it is OK (just tested linux-headers_3.4.112_armhf.deb).
To load a new driver, need to add modprobe --force thedrivername

  • Floor zorgos
  • 2018-4-16 23:41:15
No. HTTP headers are sent by the web server, not by the os.
  • 5# zorgos
  • 2018-4-19 04:19:28
you said "like", i said NO.