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