# SPDX-License-Identifier: GPL-2.0+

obj-$(CONFIG_XPL_BUILD)	+= high_speed_env_spec.o
obj-$(CONFIG_XPL_BUILD)	+= high_speed_env_spec-38x.o
obj-$(CONFIG_XPL_BUILD)	+= seq_exec.o
obj-$(CONFIG_XPL_BUILD)	+= sys_env_lib.o
