acrn-kernel/arch/microblaze/configs
Michal Simek c421cee4e8 microblaze: Enable KGDB in defconfig
Enable KGDB in defconfig to be sure that support
is regularly compiled.

Signed-off-by: Michal Simek <michal.simek@xilinx.com>
2013-06-26 11:36:55 +02:00
..
mmu_defconfig microblaze: Enable KGDB in defconfig 2013-06-26 11:36:55 +02:00
nommu_defconfig