#include <drivers/pit.h>
#include <port_io.h>

#include <time.h>


void ksleep(uint64_t millis)
{
  pit_sleep(millis);
}