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
10	reserved-memory {
11		#address-cells = < 0x02 >;
12		#size-cells = < 0x02 >;
13		ranges;
14
15		vm-memory@40000000 {
16			reg = <0x0 0x40000000 0x0 0x20000000>;
17			no-map;
18		};
19	};
20
21
22};
23