shared: clean up printf, %u support (amongst other things)

1 files changed, 1 insertions, 1 deletions

diff --git a/src/user/app/shell/shell.c b/src/user/app/shell/shell.c
index 6eb328f..66725a1 100644
--- a/src/user/app/shell/shell.c
+++ b/src/user/app/shell/shell.c
@@ -51,7 +51,7 @@ static void run_args(int argc, char **argv, struct redir *redir) {
 		uint64_t div = 3000;
 		run_args(argc - 1, argv + 1, redir);
 		time = __rdtsc() - time;
-		printf("0x%x ns (assuming 3GHz)\n", time / div);
+		printf("%u ns (assuming 3GHz)\n", time / div);
 		return;
 	} else if (!strcmp(argv[0], "exit")) {
 		exit(0);