# Copyright (c) 2019 Intel Corp.
# SPDX-License-Identifier: Apache-2.0

if(CONFIG_X86_LONGMODE)
  include(x64.cmake)
else()
  include(ia32.cmake)
endif()