;
	; Copyright (c) 2012, ARM Limited. All rights reserved.
	;
	; Redistribution and use in source and binary forms, with
	; or without modification, are permitted provided that the
	; following conditions are met:
	;
	; Redistributions of source code must retain the above
	; copyright notice, this list of conditions and the
	; following disclaimer.
	;
	; Redistributions in binary form must reproduce the
	; above copyright notice, this list of conditions and
	; the following disclaimer in the documentation
	; and/or other materials provided with the distribution.
	;
	; Neither the name of ARM nor the names of its
	; contributors may be used to endorse or promote products
	; derived from this software without specific prior written
	; permission.
	;

LOAD_REGION1 HIBASE0D000 NOCOMPRESS ALIGN 4096 65536
{
    BL_DV_PAGE +0x0 ALIGN 4096 4096
    {
	*(BL_DV_PAGE)
    }
    BL_CODE HIBASE0E000 FIXED
    {
        *(+RO)
    }
    BL_DATA +0x0
    {
        *(+ZI,+RW)
    }
}