ifeq ($(EPSILON_KERNEL),15)
ion_device_src += $(addprefix ion/src/device/bootloader/drivers/, \
  board.cpp \
  cache.cpp \
  external_flash_tramp.cpp \
  led.cpp \
  power.cpp \
  reset.cpp \
  trampoline.cpp \
  usb.cpp \
)

ion_device_src += $(addprefix ion/src/device/bootloader/boot/, \
  rt0.cpp \
)

ion_device_src += $(addprefix ion/src/device/bootloader/, \
  platform_info.cpp \
)
else
ion_device_src += $(addprefix ion/src/device/bootloader/drivers/, \
  reset.cpp \
  trampoline.cpp \
)

ion_device_src += $(addprefix ion/src/device/bootloader/, \
  platform_info.cpp \
)
endif
