#include "memory.h"
#include "vriscv.h"

uint8_t* memory;
pthread_mutex_t memory_mutex;

void mem_init()
{
    memory = malloc(memory_size);
    pthread_mutex_init(&memory_mutex, 0);
}