lib/time.c


1
2
3
4
5
6
7
8
9
10

#include <time.h>
#include <unistd.h>

_syscall0(time_t, time);

void sleep(time_t t) {
  time_t start = time();

  while(time() < start + t);
}