#ifndef _JOVE_HAL_MEMORY_H
#define _JOVE_HAL_MEMORY_H 1

#include <stddef.h>
#include <stdint.h>

typedef struct jove_obj_untyped
{
    size_t limit;
} jove_untyped_t;

void mem_setup_untyped(void);

void *phys_tovirt(uintptr_t phys);

#endif