+#
+# Jailhouse, a Linux-based partitioning hypervisor
+#
+# Copyright (c) ARM Limited, 2014
+#
+# Authors:
+# Jean-Philippe Brucker <jean-philippe.brucker@arm.com>
+#
+# This work is licensed under the terms of the GNU GPL, version 2. See
+# the COPYING file in the top-level directory.
+#
+
+KBUILD_AFLAGS := $(filter-out -include asm/unified.h,$(KBUILD_AFLAGS))
+
+include $(INMATES_LIB)/Makefile.lib
+
+LIBDIR := ../../lib/arm
+
+INMATES := gic-demo.bin uart-demo.bin
+
+gic-demo-y := gic-demo.o \
+ $(addprefix $(LIBDIR)/,header.o printk.o gic.o $(DRIVERS))
+
+uart-demo-y := uart-demo.o \
+ $(addprefix $(LIBDIR)/,header.o printk.o $(DRIVERS))
+
+
+targets += $(INMATES:.bin=-y) $(INMATES:.bin=-linked.o) $(INMATES)
+always := $(INMATES)