CS471/571 - Operating Systems

Displaying ./code/xv6-public/date.c

#include "types.h"
#include "stat.h"
#include "user.h"
#include "date.h"

int main(void)
{
  struct rtcdate t;

  if (getrtc(&t) < 0) {
    printf(2, "getrtc failed\n");
    exit();
  }

  char *month[] = {
    "", "Jan", "Feb", "Mar", "Apr", "May", "Jun",
        "Jul", "Aug", "Sep", "Oct", "Nov", "Dec"
  };

  printf(1, "%s %d %d %d:%d:%d\n",
	 month[t.month], t.day, t.year,
	 t.hour, t.minute, t.second);

  exit();
}