I've been running linux kernel 4.4.0 (xilinx-2016.1.01) for a long time on my microzed board. Now I need to do something that requires a newer kernel, but no matter what kernel I use, it won't boot. I'm using buildroot and I just change which kernel tag it pulls from Xilinx's github, merge over my kernel changes and config settings, flash the new uImage onto the board and it just hangs at the "Starting kernel ..." prompt. I've tried kernel 4.6.0 (xilinx-2016.3) and kernel 4.9.0 (xilinx-2017.1). I need at least kernel 4.6 but anything newer than that should be fine. I don't know how I would go about debugging why the kernel doesn't start.
