From 99f7bdd140e5f8085e8645503bca01f7376f2332 Mon Sep 17 00:00:00 2001 From: Yanfeng Liu Date: Mon, 4 May 2026 15:24:37 +0800 Subject: [PATCH] trivial: fix types of two ltimers Signed-off-by: Yanfeng Liu --- _data/projects/user_libs.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/_data/projects/user_libs.yml b/_data/projects/user_libs.yml index 87ac1135365..86b78b95554 100644 --- a/_data/projects/user_libs.yml +++ b/_data/projects/user_libs.yml @@ -686,7 +686,7 @@ components: description: "ltimer implementation for the OMAP platforms using GPT timers" maintainer: "seL4 Foundation" status: "Supported on OMAP SoCs" - component_type: user-driver-other + component_type: user-driver-ltimer - name: mach/imx/epit/epit.c display_name: "mach/imx/epit/epit.c" description: "EPIT driver for the EPIT timers in the i.MX SoCs" @@ -776,7 +776,7 @@ components: description: "ltimer implementation for the Exynos platforms using the PWM timers" maintainer: "seL4 Foundation" status: "Supported on the Exynos SoCs" - component_type: user-driver-pinmux + component_type: user-driver-ltimer - name: mach/exynos/spi.c display_name: "mach/exynos/spi.c" description: "SPI driver for the SPI devices in the Exynos SoCs"