Jump to content
Sign in to follow this  
earx

Debian 10.. with 4.4 kernel?

Recommended Posts

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,

Share this post


Link to post
Share on other sites

Create an account or sign in to comment

You need to be a member in order to leave a comment

Create an account

Sign up for a new account in our community. It's easy!

Register a new account

Sign in

Already have an account? Sign in here.

Sign In Now
Sign in to follow this  

×
×
  • Create New...