size_t debug_get_base_memory_size(void) {
    size_t counter = 0;
    uint8_t* pointer = (uint8_t*)&_kernel_end + 1;

    while (*pointer != 0xff) {
        counter++;
        pointer++;
    }

    return counter;
}