sniper: Serial number support, obtained from die ID

[karo-tx-uboot.git] / arch / microblaze / Makefile

#
# SPDX-License-Identifier:      GPL-2.0+
#

head-y := arch/microblaze/cpu/start.o

libs-y += arch/microblaze/cpu/
libs-y += arch/microblaze/lib/