DEFAULT_KERNEL_CACHE

Suggested default amount of cache reserved for the kernel (bytes)

Synopsis

Declared in <kernel/caches.h>

inline constexpr uint64_t DEFAULT_KERNEL_CACHE = {450_MiB};