1# SPDX-License-Identifier: Apache-2.0
2
3add_subdirectory(core)
4
5if(CONFIG_64BIT)
6set_property(GLOBAL PROPERTY PROPERTY_OUTPUT_FORMAT elf64-littleriscv)
7else()
8set_property(GLOBAL PROPERTY PROPERTY_OUTPUT_FORMAT elf32-littleriscv)
9endif()
10