#include <drivers/pit.h>

#include <stdlib.h>

extern bool pit_initialized;

void sleep(uint64_t millis)
{
  if (pit_initialized)
  {
    pit_sleep(millis);
  }
}