CeDOS - src/shell/ticks.c

src/shell/ticks.c (view raw)

1
2
3
4
5
6
7
8
9
#include "cedos.h"
#include "stdio.h"

#include <stdint.h>

void main(char *args) {
    int ticks = sc_time_get_ticks();
    printf("%i\n", ticks);
}