obj-$(CONFIG_SEMIHOSTING) += config.o
obj-$(CONFIG_SEMIHOSTING) += console.o