#include <lib/stdio.h>
#include <lib/string.h>
#include <lib/regfunc.h>
+#include <lib/tinyprintf.h>
#include <drivers/led.h>
}
int uptime(int arg, char ** argsv) {
- cputs("CURRENT UPTIME: ");
- cputs(regtohex(*RTC_CNTL));
- cputchar('\n');
+ //cputs("CURRENT UPTIME: ");
+ //cputs(regtohex(*RTC_CNTL));
+ //cputchar('\n');
+ printf("CURRENT UPTIME: %p\n", *RTC_CNTL);
}
int led(int argc, char ** argsv) {