1# SPDX-License-Identifier: GPL-2.0-or-later 2# 3# Copyright (C) 2024-2025 Werner Sembach wse@tuxedocomputers.com 4# 5# TUXEDO X86 Platform Specific Drivers 6# 7 8source "drivers/platform/x86/tuxedo/nb04/Kconfig" 9