HelenOS sources

GTA02_MEMORY_SKIP  130 kernel/arch/arm32/src/mach/gta02/gta02.c 	*start = GTA02_MEMORY_START + GTA02_MEMORY_SKIP;
GTA02_MEMORY_SKIP  131 kernel/arch/arm32/src/mach/gta02/gta02.c 	*size  = GTA02_MEMORY_SIZE - GTA02_MEMORY_SKIP;