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

#include <kernel/vars.h>

/*
  Number of bytes in kernel variable space: 4096  (4KiB)
  Number of bits in kernel variable space:  32768 (32Mib)
*/

uint8_t vars[KERNEL_VARIABLES_SIZE];

void init_vars(void)
{
  memset(vars, 0, KERNEL_VARIABLES_SIZE);
}

/* bo = bit offset */
void set_bit_bo(uint32_t offset, uint8_t val)
{
  /* First, extract the byte offset. (round down to a multiple of 8, and divide by 8. */
  (void) offset;
  (void) val;
}