/*
 * Copyright 2017 NXP
 *
 * This program is free software; you can redistribute it and/or modify
 * it under the terms of the GNU General Public License version 2 as
 * published by the Free Software Foundation.
 */

#include "imx6q-sabresd.dts"

&ocram {
	/* Reserve the high 32K for OP-TEE */
	reg = <0x00905000 0x33000>;
};