Andrew Boie a824821b86 kernel: fix k_mem_partition data types ... We need a size_t and not a u32_t for partition sizes, for 64-bit compatibility. Additionally, app_memdomain.h was also casting the base address to a u32_t instead of a uintptr_t. Signed-off-by: Andrew Boie <andrew.p.boie@intel.com>		2019-12-12 14:48:42 -08:00
..
core	kernel: fix k_mem_partition data types	2019-12-12 14:48:42 -08:00
include
CMakeLists.txt
gen_gdt.py
gen_idt.py
ia32.cmake
intel64.cmake
Kconfig	kconfig: Remove redundant 'default n' and 'prompt' properties	2019-12-09 16:14:50 +01:00