1 # SPDX-License-Identifier: GPL-2.0
3 # Makefile for the linux kernel.
8 obj-y
:= common.o dma.o isa-irq.o
11 pci-
$(CONFIG_ARCH_CATS
) += cats-pci.o
12 pci-
$(CONFIG_ARCH_EBSA285_HOST
) += ebsa285-pci.o
13 pci-
$(CONFIG_ARCH_NETWINDER
) += netwinder-pci.o
14 pci-
$(CONFIG_ARCH_PERSONAL_SERVER
) += personal-pci.o
16 obj-
$(CONFIG_ARCH_CATS
) += cats-hw.o isa-timer.o
17 obj-
$(CONFIG_ARCH_EBSA285
) += ebsa285.o dc21285-timer.o
18 obj-
$(CONFIG_ARCH_NETWINDER
) += netwinder-hw.o isa-timer.o
19 obj-
$(CONFIG_ARCH_PERSONAL_SERVER
) += personal.o dc21285-timer.o
21 obj-
$(CONFIG_PCI
) +=$(pci-y
)
23 obj-
$(CONFIG_ISA
) += isa.o isa-rtc.o