# Copyright (c) 2023 -2024 Advanced Micro Devices, Inc. All Rights Reserved.
# SPDX-License-Identifier: MIT
collect (PROJECT_LIB_SOURCES errno.c)
collect (PROJECT_LIB_SOURCES _exit.c)
collect (PROJECT_LIB_SOURCES _sbrk.c)
collect (PROJECT_LIB_SOURCES fcntl.c)
collect (PROJECT_LIB_SOURCES read.c)
collect (PROJECT_LIB_SOURCES write.c)
collect (PROJECT_LIB_SOURCES fstat.c)
collect (PROJECT_LIB_SOURCES _open.c)
collect (PROJECT_LIB_SOURCES close.c)
collect (PROJECT_LIB_SOURCES riscv_interrupt_handler.c)
collect (PROJECT_LIB_SOURCES xil_exception.c)
collect (PROJECT_LIB_HEADERS fsl.h)
collect (PROJECT_LIB_HEADERS riscv_interface.h)
collect (PROJECT_LIB_HEADERS xil_cache.h)
collect (PROJECT_LIB_HEADERS xpseudo_asm.h)
collect (PROJECT_LIB_HEADERS xreg_riscv.h)
collect (PROJECT_LIB_HEADERS xil_exception.h)
collect(PROJECT_LIB_HEADERS riscv_exceptions_g.h)
collect (PROJECT_LIB_SOURCES riscv_scrub.S)
collect (PROJECT_LIB_SOURCES boot.S)
collect (PROJECT_LIB_SOURCES riscv_disable_interrupts.S)
collect (PROJECT_LIB_SOURCES riscv_enable_interrupts.S)
collect (PROJECT_LIB_SOURCES riscv_flush_dcache_range.S)
collect (PROJECT_LIB_SOURCES riscv_flush_dcache.S)
collect (PROJECT_LIB_SOURCES riscv_flush_icache_range.S)
collect (PROJECT_LIB_SOURCES riscv_flush_icache.S)
collect (PROJECT_LIB_SOURCES riscv_invalidate_dcache_range.S)
collect (PROJECT_LIB_SOURCES riscv_invalidate_dcache.S)
collect (PROJECT_LIB_SOURCES riscv_invalidate_icache_range.S)
collect (PROJECT_LIB_SOURCES riscv_invalidate_icache.S)
collect (PROJECT_LIB_SOURCES trap_handler.S)
collect(PROJECT_LIB_HEADERS xil_cache.h)
collect(PROJECT_LIB_HEADERS xpseudo_asm_gcc.h)
collect(PROJECT_LIB_HEADERS xmicroblaze_riscv.h)
collect(PROJECT_LIB_HEADERS xmicroblaze_riscv_config.h)
