WSL2-Linux-Kernel/arch/avr32/kernel/Makefile

#
# Makefile for the Linux/AVR32 kernel.
#

extra-y				:= head.o vmlinux.lds

obj-$(CONFIG_SUBARCH_AVR32B)	+= entry-avr32b.o
obj-y				+= syscall_table.o syscall-stubs.o irq.o
obj-y				+= setup.o traps.o ocd.o ptrace.o
obj-y				+= signal.o process.o time.o
obj-y				+= switch_to.o cpu.o
obj-$(CONFIG_MODULES)		+= module.o avr32_ksyms.o
obj-$(CONFIG_KPROBES)		+= kprobes.o
obj-$(CONFIG_STACKTRACE)	+= stacktrace.o
obj-$(CONFIG_NMI_DEBUGGING)	+= nmi_debug.o