06:28 <Sumo> Hi, I just picked up an asus tinker board (rk3288) and it is running debian jessie on kernel 4.4.16, I am working on a wifi project and trying to compile/install the driver but I need the linux kernel headers to compile it. How can I install/link that? I am not very experienced with kernels and dealing with having to dig this deep.

06:28 <Sumo> I am cloning the 'rockchip-linux/kernel' from github, is that on the right track? I see in /lib/modules/4.4.16 there are symlinks to some /home/leslie_yu/... folder that doesnt exist, if I re-link those to the /kernal directory from the repo, will that work?

06:34 <wens> in general you should get kernel headers matching the version you are running

06:34 <wens> ask the vendor for them

06:37 <Sumo> That makes sense since they should match exactly. I feel like asus should have provided them already publicly somewhere, at least for a 'tinker' board like that, you'd think they'd have a big wiki/website to help.

06:40 <wens> a friend said they did it probably to get rid of inventory :p

06:46 <Sumo> ah geez, i will keep trying anyways.. thanks

11:18 <ayaka> Sumo, I would suggest you update your kernel to that one in github

15:49 <Sumo> thanks ayaka, will give it a try

22:04 <Tef61> Hey is anyone around?

22:04 <Tef61> Curious if people mostly use RK3288 around here or how much of the work is with other chips etc...

22:04 <Tef61> I'm working with a Rockchip where the OS is using some combination of Android and Linux code, wonder if that's normal for other chips?