Hello,

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?

Thanks.

Armbian provides kernel headers by default.

https://www.armbian.com/orange-pi-pc-plus/

If not installed go to armbian-config -> software -> install headers

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:
https://mega.nz/#F!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

Cheer.

No. HTTP headers are sent by the web server, not by the os.

you said "like", i said NO.