kern/arch/riscv/boot/Makefrag

#
# Makefile fragment for the ROS kernel.
# This is NOT a complete makefile;
# you must run GNU make in the top-level directory
# where the GNUmakefile is located.
#