#
# Makefile for the linux kernel.
#

EXTRA_CFLAGS	+= -I../kernel

obj-y				:= setup.o topology.o