Add the rt linux 4.1.3-rt3 as base
[kvmfornfv.git] / kernel / arch / arm / firmware / Makefile
1 obj-$(CONFIG_TRUSTED_FOUNDATIONS)       += trusted_foundations.o