HelenOS sources

MEMTYPE_AVAILABLE   71 boot/arch/arm64/include/arch/boot.h 	MEMTYPE_AVAILABLE,
MEMTYPE_AVAILABLE   71 kernel/arch/arm64/include/arch/boot/boot.h 	MEMTYPE_AVAILABLE,
HelenOS homepage, sources at GitHub