# SPDX-License-Identifier: Apache-2.0 add_subdirectory(core) set_property(GLOBAL PROPERTY PROPERTY_OUTPUT_FORMAT elf32-littleriscv)