2 # Jailhouse, a Linux-based partitioning hypervisor
4 # Copyright (c) Siemens AG, 2015, 2016
7 # Jan Kiszka <jan.kiszka@siemens.com>
9 # This work is licensed under the terms of the GNU GPL, version 2. See
10 # the COPYING file in the top-level directory.
13 include $(INMATES_LIB)/Makefile.lib
17 ccflags-y := -ffunction-sections
19 lib-y := header.o gic.o printk.o timer.o
21 lib-$(CONFIG_ARM_GIC) += gic-v2.o
22 lib-$(CONFIG_ARM_GIC_V3) += gic-v3.o
23 lib-$(CONFIG_SERIAL_AMBA_PL011) += uart-pl011.o
24 lib-$(CONFIG_SERIAL_8250_DW) += uart-8250-dw.o
25 lib-$(CONFIG_SERIAL_TEGRA) += uart-tegra.o