pebstwck3/riscv-pk/bbl/logo.c

#include <string.h>
#include "mtrap.h"

extern const char logo[];

void print_logo()
{
  putstring(logo);
}