Add the rt linux 4.1.3-rt3 as base
[kvmfornfv.git] / kernel / drivers / ipack / carriers / Makefile
1 obj-$(CONFIG_BOARD_TPCI200) += tpci200.o