Searched refs:K1OM_KERNEL_INIT_MEMORY (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/kernel/include/target/k1om/
H A Doffsets_target.h135 #define K1OM_KERNEL_INIT_MEMORY (1 * 1024 * 1024) macro
/barrelfish-master/kernel/arch/x86_64/
H A Dpaging.c23 #define KERNEL_INIT_MEMORY K1OM_KERNEL_INIT_MEMORY

Completed in 35 milliseconds