Hi guys,
For some apt driver packages the kernel headers are required. Since we're running Debian 10 we need kernel 4.19.. but the ancient 4.4 kernel is installed in TinkerOS... What to do about this? Just build the 4.19 kernel?? Would it be too much to ask the TinkerOS devs to upgrade to 4.19? After 2 days with the Tinkerboard 2S my overall impression is the outstanding hardware and BIOS (for instance always being able to flash EMMC via USB C with Etcher is fantastic), but OS support seems worse than it was back in 2018... Anyway, sorry for the rant. Hope you can answer my question. Thanks in advance.
Cheers,