1/*
2 * Copyright (c) 2024 Antmicro <www.antmicro.com>
3 *
4 * SPDX-License-Identifier: Apache-2.0
5 */
6/dts-v1/;
7
8#include "hifive_unleashed.dtsi"
9
10/ {
11
12	cpus {
13		cpu@1 {
14			status = "disabled";
15		};
16
17		cpu@2 {
18			status = "disabled";
19		};
20
21		cpu@3 {
22			status = "disabled";
23		};
24
25		cpu@4 {
26			status = "disabled";
27		};
28	};
29
30};
31