# # Makefile for the linux kernel. # obj-y := socfpga.o