src/c/shell/uptime.c


1
2
3
4
5
6
7
8
9
10

#include<source/shell/uptime.h>
#include<source/stdio.h>
#include<types.h>

extern uint32_t time;

void uptime(void)
{
    printf("System uptime is: %d seconds\n",time);
}