1// SPDX-License-Identifier: (GPL-2.0+ OR MIT)
2/*
3 * This device tree covers the common case where the RK1 is used as a
4 * "compute node" system, where the carrier board is functioning more like a
5 * generic backplane (with no non-autoenumerable peripherals of its own) than
6 * like a device that the SoM is meant to enable.
7 *
8 * Copyright (c) 2023 Sam Edwards <CFSworks@gmail.com>
9 */
10
11/dts-v1/;
12#include "rk3588-turing-rk1.dtsi"
13
14/ {
15	model = "Turing Machines RK1";
16	compatible = "turing,rk1", "rockchip,rk3588";
17
18	chosen {
19		stdout-path = "serial9:115200n8";
20	};
21};
22