HelenOS sources

PHYSMEM_START_ADDR   50 kernel/arch/arm32/include/arch/mm/frame.h #define PHYSMEM_START_ADDR       0x30008000
PHYSMEM_START_ADDR   55 kernel/arch/arm32/include/arch/mm/frame.h #define PHYSMEM_START_ADDR       0x80000000
PHYSMEM_START_ADDR   60 kernel/arch/arm32/include/arch/mm/frame.h #define PHYSMEM_START_ADDR       0x80000000
PHYSMEM_START_ADDR   65 kernel/arch/arm32/include/arch/mm/frame.h #define PHYSMEM_START_ADDR       0x00000000
PHYSMEM_START_ADDR   70 kernel/arch/arm32/include/arch/mm/frame.h #define PHYSMEM_START_ADDR       0x00000000