diff --git a/src/drivers/uart.c b/src/drivers/uart.c
index d0059c8..50340f2 100644
--- a/src/drivers/uart.c
+++ b/src/drivers/uart.c
@@ -139,6 +139,7 @@ void kprintf(const char *format, ...)
 			{
 				char c = (char)va_arg(args, int);
 				kputchar(c);
+				break;
 			}
 			case 's':
 			{
diff --git a/src/kernel/plic.h b/src/kernel/plic.h
index 9f494c7..4d702fd 100644
--- a/src/kernel/plic.h
+++ b/src/kernel/plic.h
@@ -1,7 +1,7 @@
 #ifndef PLIC_H
 #define PLIC_H
 
-#define PLIC_BASE 0x0c000000
+#define PLIC_BASE 0x0c000000UL
 #define PLIC_CLAIM_COMPLETE 0x0c200004
 
 // Priorities: 4 bytes per IRQ (IRQ 0 is reserved/null)