# SPDX-License-Identifier: GPL-2.0
# COPYRIGHT(C) 2023 Samsung Electronics Co., Ltd. All Right Reserved.

sec_mm_module_list = [
    "mm/sec_mm/sec_mm.ko",
    "mm/sec_mm/hpp.ko",
]

def sec_mm():
    return sec_mm_module_list