Booting in HYP mode on Jetson TK1

Hi danzach,

  1. Is there plan for L4T on 4.x kernel?
    Sorry, there is no plan to do this kernel update on TK1.

Thanks