#include "pmm_internal.h" // Classic buddy allocator #ifdef CONFIG_PMALLOC_BUDDY // TODO #endif