-TODO

kernel/infrastructure/i686/firmware/acpi.c

@@ -79,7 +79,6 @@ static const acpi_rsdp_t *find_rsdp(void) {
         }
     }
 
-    /* TODO define some PC address map somewhere, use in VGA driver as well */
     const char *top     = (const char *)(0xa0000 - KB);
     const char *ebda    = (const char *)get_bios_ebda_addr();
 

kernel/infrastructure/i686/firmware/bios.c

@@ -46,7 +46,6 @@
 uint32_t get_bios_ebda_addr(void) {
     uintptr_t ebda = 16 * (*(uint16_t *)BIOS_BDA_EBDA_SEGMENT);
 
-    /* TODO define some PC address map somewhere, use in VGA driver as well */
     if(ebda < 0x80000 || ebda >= 0xa0000) {
         return NULL;
     }

kernel/infrastructure/i686/firmware/mp.c

@@ -156,7 +156,6 @@ static uint32_t scan_for_pointer_structure(void) {
         }
     }
 
-    /* TODO define some PC address map somewhere, use in VGA driver as well */
     return scan_address_range(0xf0000, 0x100000);
 }