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.

Is this thread for network headers as well.. like when you send http request and it says your os and stuff

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