CONFIG_DIAG_BOCHS 70 bsp/boot/x86/pc/debug.c #if defined(DEBUG) && defined(CONFIG_DIAG_BOCHS) CONFIG_DIAG_BOCHS 140 bsp/hal/x86/pc/diag.c #ifdef CONFIG_DIAG_BOCHS