1 files changed, 0 insertions, 1 deletions

diff --git a/hw/Kconfig b/hw/Kconfig
index 8ea2647..ff40bd3 100644
--- a/hw/Kconfig
+++ b/hw/Kconfig
@@ -31,7 +31,6 @@ source remote/Kconfig
 source rtc/Kconfig
 source scsi/Kconfig
 source sd/Kconfig
-source semihosting/Kconfig
 source smbios/Kconfig
 source ssi/Kconfig
 source timer/Kconfig