Kconfig

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"