path: root/riscv/riscv_prelude.h

#include "sail.h"
#include "rts.h"

unit print_string(sail_string prefix, sail_string msg);