mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-20 14:13:09 +00:00
3824ad4756
Switch to kernel branch, that determines the available system memory during boot time. The overall kernel memory is still static, but during boot time dynamically the amount can be chosen. Following 3 config option exists: CONFIG_MEMORY_BOOT is the amount of kernel memory allocated in the BSS statically - effectively chosen during link time - see linker script. CONFIG_MEMORY_DYN_MIN && CONFIG_MEMORY_DYN_PER_MILL configures the dynamic part of the kernel memory allocation applied during early kernel boot time. CONFIG_MEMORY_DYN_MIN is the amount of memory which should be allocated at least. CONFIG_MEMORY_DYN_PER_MILL defines the amount of the system memory in per mill which should be allocated at most. The overall maximum kernel memory is restricted to ~1G (64bit), due to the chosen internal virtual memory layout. Fixes #2985
11 lines
265 B
Plaintext
11 lines
265 B
Plaintext
LICENSE := GPLv2
|
|
VERSION := git
|
|
DOWNLOADS := nova.git
|
|
|
|
# r10 branch
|
|
URL(nova) := https://github.com/alex-ab/NOVA.git
|
|
REV(nova) := b156131007c928e2968fc5e551cea402c1886919
|
|
DIR(nova) := src/kernel/nova
|
|
|
|
PATCHES := $(sort $(wildcard $(REP_DIR)/patches/*.patch))
|