riscv/riscv_prelude.c


1
2
3
4
5
6
7
8

#include "riscv_prelude.h"

unit print_string(sail_string prefix, sail_string msg)
{
  printf("%s%s\n", prefix, msg);
  return UNIT;
}