From 9b46b60b7a281c72ffcaffadfa40e643e4537761 Mon Sep 17 00:00:00 2001
From: Mathieu Maret <mathieu.maret@gmail.com>
Date: Wed, 14 Nov 2018 15:45:34 +0100
Subject: [PATCH] fix printIntDetails for 0

---
 drivers/vga.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/drivers/vga.c b/drivers/vga.c
index 9acf978..4043f38 100644
--- a/drivers/vga.c
+++ b/drivers/vga.c
@@ -57,6 +57,9 @@ void printIntDetails(int integer, uint color, uint bgColor, int startX, int star
 	if (integer < 0) {
 		printCharDetails('-', color, bgColor, x++, startY);
 	}
+	if (integer == 0){
+		num[i++] = 0;
+	}
 	while (integer != 0) {
 		int digit = integer % 10;
 		num[i++]  = (digit > 0) ? digit : -digit;