linux-headers 3.4.112

zorgos · Published in 2018-4-3 06:54:12

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 · Published in 2018-4-3 12:59:52

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 · Published in 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:
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.

zorgos · Published in 2018-4-16 23:41:15

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

zorgos · Published in 2018-4-19 04:19:28

you said "like", i said NO.

abhisheknibrus · Published in 2019-7-31 05:43:53

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

igorpec · Published in 2019-7-31 21:26:32

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.