877c181cd4
The PL031 is a Real Time Clock, not a timer. Move it under the hw/rtc/ subdirectory. Reviewed-by: Alistair Francis <alistair.francis@wdc.com> Signed-off-by: Philippe Mathieu-Daudé <philmd@redhat.com> Acked-by: Peter Maydell <peter.maydell@linaro.org> Message-Id: <20191003230404.19384-3-philmd@redhat.com> Signed-off-by: Laurent Vivier <laurent@vivier.eu>
47 lines
1.3 KiB
Makefile
47 lines
1.3 KiB
Makefile
devices-dirs-y = core/
|
|
ifeq ($(CONFIG_SOFTMMU), y)
|
|
devices-dirs-$(call lor,$(CONFIG_VIRTIO_9P),$(call land,$(CONFIG_VIRTFS),$(CONFIG_XEN))) += 9pfs/
|
|
devices-dirs-y += acpi/
|
|
devices-dirs-y += adc/
|
|
devices-dirs-y += audio/
|
|
devices-dirs-y += block/
|
|
devices-dirs-y += bt/
|
|
devices-dirs-y += char/
|
|
devices-dirs-y += cpu/
|
|
devices-dirs-y += display/
|
|
devices-dirs-y += dma/
|
|
devices-dirs-y += gpio/
|
|
devices-dirs-$(CONFIG_HYPERV) += hyperv/
|
|
devices-dirs-$(CONFIG_I2C) += i2c/
|
|
devices-dirs-y += ide/
|
|
devices-dirs-y += input/
|
|
devices-dirs-y += intc/
|
|
devices-dirs-$(CONFIG_IPACK) += ipack/
|
|
devices-dirs-$(CONFIG_IPMI) += ipmi/
|
|
devices-dirs-y += isa/
|
|
devices-dirs-y += misc/
|
|
devices-dirs-y += net/
|
|
devices-dirs-y += rdma/
|
|
devices-dirs-y += nvram/
|
|
devices-dirs-y += pci/
|
|
devices-dirs-$(CONFIG_PCI) += pci-bridge/ pci-host/
|
|
devices-dirs-y += pcmcia/
|
|
devices-dirs-y += rtc/
|
|
devices-dirs-$(CONFIG_SCSI) += scsi/
|
|
devices-dirs-y += sd/
|
|
devices-dirs-y += ssi/
|
|
devices-dirs-y += timer/
|
|
devices-dirs-$(CONFIG_TPM) += tpm/
|
|
devices-dirs-y += usb/
|
|
devices-dirs-$(CONFIG_VFIO) += vfio/
|
|
devices-dirs-y += virtio/
|
|
devices-dirs-y += watchdog/
|
|
devices-dirs-y += xen/
|
|
devices-dirs-$(CONFIG_MEM_DEVICE) += mem/
|
|
devices-dirs-y += semihosting/
|
|
devices-dirs-y += smbios/
|
|
endif
|
|
|
|
common-obj-y += $(devices-dirs-y)
|
|
obj-y += $(devices-dirs-y)
|