# # Makefile for the kernel security code # obj-$(CONFIG_TRUSTED_LITTLE_KERNEL) += tlk_driver/