# SPDX-License-Identifier: GPL-2.0-or-later
# Copyright (C) 2026 Richard Qin
#
# Driver model core (mirrors Linux drivers/base/)

SRCS_CC += drivers/base/bus.cc
SRCS_CC += drivers/base/core.cc
SRCS_CC += drivers/base/driver.cc
SRCS_CC += drivers/base/platform.cc