drivers/platform/x86/tuxedo/Kconfig


1
2
3
4
5
6
7
8

# SPDX-License-Identifier: GPL-2.0-or-later
#
# Copyright (C) 2024-2025 Werner Sembach wse@tuxedocomputers.com
#
# TUXEDO X86 Platform Specific Drivers
#

source "drivers/platform/x86/tuxedo/nb04/Kconfig"