arch/arm64/boot/dts/amlogic/meson-gxl-s805y-xiaomi-aquaman.dts

Source file repositories/reference/linux-study-clean/arch/arm64/boot/dts/amlogic/meson-gxl-s805y-xiaomi-aquaman.dts

File Facts

System
Linux kernel
Corpus path
arch/arm64/boot/dts/amlogic/meson-gxl-s805y-xiaomi-aquaman.dts
Extension
.dts
Size
5225 bytes
Lines
262
Domain
Architecture Layer
Bucket
arch/arm64
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 MIT)
/*
 * Copyright (c) 2025 Ferass El Hafidi <funderscore@postmarketos.org>
 * Heavily based on meson-gxl-s805x-p241.dtb:
 *  - Copyright (c) 2018 BayLibre, SAS.
 *    Author: Neil Armstrong <narmstrong@baylibre.com>
 *    Author: Jerome Brunet <jbrunet@baylibre.com>
 */

/dts-v1/;

#include <dt-bindings/input/input.h>
#include <dt-bindings/leds/common.h>
#include <dt-bindings/sound/meson-aiu.h>

#include "meson-gxl-s805y.dtsi"

/ {
	compatible = "xiaomi,aquaman", "amlogic,s805y", "amlogic,meson-gxl";
	model = "Xiaomi Mi TV Stick (aquaman)";

	aliases {
		serial0 = &uart_AO;
		serial1 = &uart_A;
	};

	chosen {
		stdout-path = "serial0:115200n8";
	};

	emmc_pwrseq: emmc-pwrseq {
		compatible = "mmc-pwrseq-emmc";
		reset-gpios = <&gpio BOOT_9 GPIO_ACTIVE_LOW>;
	};

	hdmi-connector {
		compatible = "hdmi-connector";
		type = "a";

		port {
			hdmi_connector_in: endpoint {
				remote-endpoint = <&hdmi_tx_tmds_out>;
			};
		};
	};

	leds {
		compatible = "gpio-leds";

		led-white {
			color = <LED_COLOR_ID_WHITE>;
			function = LED_FUNCTION_POWER;
			gpios = <&gpio GPIODV_24 GPIO_ACTIVE_HIGH>;
			default-state = "on";
			panic-indicator;
		};
	};

	memory@0 {
		device_type = "memory";
		reg = <0x0 0x0 0x0 0x40000000>;
	};

	vddio_boot: regulator-vddio-boot {
		compatible = "regulator-fixed";
		regulator-name = "VDDIO_BOOT";
		regulator-min-microvolt = <1800000>;
		regulator-max-microvolt = <1800000>;
	};

Annotation

Implementation Notes