linux-headers 3.4.112

zorgos

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.

igorpec

Armbian provides kernel headers by default.

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

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

zorgos

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.

8bitbacon

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

zorgos

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

8bitbacon

server headers are response headers I mean like request headers

zorgos

you said "like", i said NO.

8bitbacon

ok sorry mr devil apper

abhisheknibrus

I also want kernel headers and source for orange pi rk3399 Debian. Can I use this. If not how did you make.

igorpec

abhisheknibrus replied at 2019-7-30 22:43
I also want kernel headers and source for orange pi rk3399 Debian. Can I use this. If not how did yo ...

You can't use this but you can install tham the same way as described few posts back.