-#include "vga.h"
+#include "devices/vga.h"
+#include <round.h>
#include <stdint.h>
#include <stddef.h>
-#include "io.h"
-#include "lib.h"
-#include "mmu.h"
+#include <string.h>
+#include "threads/io.h"
+#include "threads/mmu.h"
/* VGA text screen support. See [FREEVGA] for more information. */