#include <types.h>
#include <string.h>
#include <stdlib.h>

#include <kernel/vars.h>


static uint8_t* vars_start = NULL;

static int num_bytes_used = 0;

void init_vars(void)
{
  vars_start = (uint8_t*) malloc(8 * 1024); /* 1 KiB */
  memclr(vars_start, (size_t) 1024);
}