HelenOS sources

PA_OFFSET          57 boot/arch/arm32/include/arch/arch.h #define PA_OFFSET 0
PA_OFFSET          59 boot/arch/arm32/include/arch/arch.h #define PA_OFFSET 0
PA_OFFSET          61 boot/arch/arm32/include/arch/arch.h #define PA_OFFSET 0x80000000

HelenOS homepage, sources at GitHub