1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
| // SPDX-License-Identifier: (GPL-2.0+ OR MIT)
| /*
| * Copyright (c) 2022 Rockchip Electronics Co., Ltd.
| *
| */
|
| #include "rk3568-evb1-ddr4-v10-linux.dts"
| #include "rk3568-amp.dtsi"
|
| / {
| memory {
| device_type = "memory";
| reg = <0x0 0x03880000 0x0 0x04b80000>,
| <0x0 0x08400000 0x0 0x77c00000>;
| };
| };
|
| &cpu1 {
| status = "disabled";
| };
|
| &cpu2 {
| status = "disabled";
| };
|
| &cpu3 {
| status = "disabled";
| };
|
|
