lots of progress, including readonly PATA driver and part of FAT16 driver

1 files changed, 2 insertions, 2 deletions

diff --git a/src/kernel/mem.c b/src/kernel/mem.c
index 2e8173d..d3baad3 100644
--- a/src/kernel/mem.c
+++ b/src/kernel/mem.c
@@ -1,6 +1,6 @@
 #include <stdint.h>
-#include <stdbool.h>
 #include "panic.h"
+#include "mem.h"
 
 #define DYNAMIC_START (0x10000000)
 #define DYNAMIC_END   (DYNAMIC_START + 65536 * 4096)
@@ -55,7 +55,7 @@ void *allocate_pages(uint16_t n) {
 }
 
 //in the future, change this to go by bytes or dwords instead of bits.
-void free_pages(void *ptr, uint16_t n) {
+void free_pages(const void *ptr, uint16_t n) {
   uint16_t page = ADDR_TO_PAGE(ptr);
   for (uint32_t i = page; i < page + n; ++i)
     CLEAR_PAGE(i);