arch/arm/boot/dts/aspeed/aspeed-bmc-asrock-paul-ipmi-card.dts

Source file repositories/reference/linux-study-clean/arch/arm/boot/dts/aspeed/aspeed-bmc-asrock-paul-ipmi-card.dts

File Facts

System
Linux kernel
Corpus path
arch/arm/boot/dts/aspeed/aspeed-bmc-asrock-paul-ipmi-card.dts
Extension
.dts
Size
3000 bytes
Lines
132
Domain
Architecture Layer
Bucket
arch/arm
Inferred role
Architecture Layer: configuration, schema, or hardware description
Status
atlas-only

Why This File Exists

CPU and platform-specific kernel glue: boot entry, traps, syscall entry, interrupts, page tables, context switch, and low-level barriers.

Dependency Surface

Detected Declarations

Annotated Snippet

// SPDX-License-Identifier: GPL-2.0-or-later
// Copyright 2025 Anirudh Srinivasan

/dts-v1/;

#include "aspeed-g5.dtsi"
#include <dt-bindings/gpio/aspeed-gpio.h>

/{
	model = "ASRock Paul IPMI Card";
	compatible = "asrock,ast2500-paul-ipmi-card", "aspeed,ast2500";

	aliases {
		serial4 = &uart5;
	};

	chosen {
		stdout-path = &uart5;
	};

	leds {
		compatible = "gpio-leds";

		led-fan-1 {
			gpios = <&gpio ASPEED_GPIO(AA, 0) GPIO_ACTIVE_LOW>;
			label = "fan1_red";
			default-state = "off";
		};

		led-fan-2 {
			gpios = <&gpio ASPEED_GPIO(AA, 1) GPIO_ACTIVE_LOW>;
			label = "fan2_red";
			default-state = "off";
		};

		led-fault {
			gpios = <&gpio ASPEED_GPIO(Y, 3) GPIO_ACTIVE_LOW>;
			label = "panic_red";
			panic-indicator;
			default-state = "off";
		};

		led-heartbeat {
			gpios = <&gpio ASPEED_GPIO(H, 6) GPIO_ACTIVE_LOW>;
			label = "heartbeat_green";
			linux,default-trigger = "timer";
		};
	};

	memory@80000000 {
		reg = <0x80000000 0x20000000>;
	};

	reserved-memory {
		#address-cells = <1>;
		#size-cells = <1>;
		ranges;

		video_engine_memory: video {
			size = <0x02000000>;
			alignment = <0x01000000>;
			compatible = "shared-dma-pool";
			reusable;
		};
	};
};

&fmc {
	status = "okay";
	flash@0 {

Annotation

Implementation Notes