Jetson-TK1 and linux mainstream kernel (4.8.12)

Hello,

has someone a linux mainstream kernel running on Jetson TK1?

Yesterday I tried to configure/compile the kernel 4.8.12: It boots with serial output (no HDMI output) and stops when systemd starts.
The device tree source seems to be very buggy: Wrong/different GPIO pin assignments compared with the device tree from L4T kernel 3.10.40!
The old device tree bloob (from L4T) doesn’t run with this new kernel!

Kind Regards,
Michael

Hi MickPF,

We haven’t yet started working on the mainstream kernel (4.8.12), hence not able to give your the suggestion.
Hope someone could share their experience to resolve your issue.

Thanks