diff --git a/src/kernel/drivers/serial.c b/src/kernel/drivers/serial.c
index 1c7a372..e68ce6d 100644
--- a/src/kernel/drivers/serial.c
+++ b/src/kernel/drivers/serial.c
@@ -83,6 +83,10 @@ void vprintf(char *string, va_list vars){
                     num = va_arg(vars, int32_t);
                     printf((char[]){num, 0});
                     continue;
+                case 'b':
+                    string++;
+                    num = va_arg(vars, int32_t);
+                    printf(num ? "true" : "false");
             }
         }
         outb(com_ports[0], *string);