1/*
2 * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
3 *
4 * SPDX-License-Identifier: GPL-2.0-only
5 */
6
7/ {
8
9    /* 32-bit kernel platforms require memory to be clamped to the top of
10     * the kernel window.
11     */
12	memory@40000000 {
13		device_type = "memory";
14		reg = < 0x00 0x40000000 0x00 0x1f000000 >;
15	};
16
17	/* This device extends out of the 32-bit memory range.*/
18	/delete-node/gpu@38000000;
19};
20