diff options
Diffstat (limited to 'hw/Makefile.objs')
| -rw-r--r-- | hw/Makefile.objs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/hw/Makefile.objs b/hw/Makefile.objs index 82aa7fa..d770926 100644 --- a/hw/Makefile.objs +++ b/hw/Makefile.objs @@ -36,6 +36,7 @@ devices-dirs-$(CONFIG_SOFTMMU) += watchdog/ devices-dirs-$(CONFIG_SOFTMMU) += xen/ devices-dirs-$(CONFIG_MEM_DEVICE) += mem/ devices-dirs-$(CONFIG_SOFTMMU) += smbios/ +devices-dirs-y += semihosting/ devices-dirs-y += core/ common-obj-y += $(devices-dirs-y) obj-y += $(devices-dirs-y) |