Debugging the Linux kernel

[Rami Rosenbaum]

Hi,

I'm looking for a cheap board for debugging the Linux kernel, for a POC.

I thought of the stm32f429-disco. It is limited in resources, has no MMU/virtual-memory, but it's not a necessity for now.

I'm experienced with bare-metal stm32 programming, debugging the startup code from the reset-handler.

1. Will I have these abilities when debugging the U-Boot/Kernel boot?
2. Is the Linux environment up-to-date (kernel 4.X) and stable?
3. Is setting up the bring-up environment straight-forward?

Thanks.