1/*
2 * Copyright (c) 2024 Antmicro <www.antmicro.com>
3 *
4 * SPDX-License-Identifier: Apache-2.0
5 */
6
7#include <st/mp1/stm32mp157.dtsi>
8#include <st/mp1/stm32mp157facx-pinctrl.dtsi>
9
10&mailbox {
11	status = "okay";
12};
13
14&rcc {
15	clock-frequency = <DT_FREQ_M(209)>;
16};
17
18&spi4 {
19	pinctrl-0 = <&spi4_nss_pe11 &spi4_sck_pe12
20		     &spi4_miso_pe13 &spi4_mosi_pe14>;
21	pinctrl-names = "default";
22	status = "okay";
23};
24