fix: printf related warnings

1 files changed, 1 insertions, 1 deletions

diff --git a/src/user/app/shell/shell.c b/src/user/app/shell/shell.c
index 5808de1..d2d7e37 100644
--- a/src/user/app/shell/shell.c
+++ b/src/user/app/shell/shell.c
@@ -72,7 +72,7 @@ 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("%u ns (assuming 3GHz)\n", time / div);
+		printf("%lu ns (assuming 3GHz)\n", time / div);
 		return;
 	} else if (!strcmp(argv[0], "exit")) {
 		exit(0);