1/* SPDX-License-Identifier: GPL-2.0 WITH Linux-syscall-note */ 2/* 3 * 4 * (C) COPYRIGHT 2019-2022 ARM Limited. All rights reserved. 5 * 6 * This program is free software and is provided to you under the terms of the 7 * GNU General Public License version 2 as published by the Free Software 8 * Foundation, and any use by you of this program is subject to the terms 9 * of such GNU license. 10 * 11 * This program is distributed in the hope that it will be useful, 12 * but WITHOUT ANY WARRANTY; without even the implied warranty of 13 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 14 * GNU General Public License for more details. 15 * 16 * You should have received a copy of the GNU General Public License 17 * along with this program; if not, you can access it online at 18 * http://www.gnu.org/licenses/gpl-2.0.html. 19 * 20 */ 21 22bob_kernel_module { 23 name: "memory_group_manager", 24 defaults: [ 25 "kernel_defaults", 26 ], 27 srcs: [ 28 "Kbuild", 29 "memory_group_manager.c", 30 ], 31 enabled: false, 32 mali_memory_group_manager: { 33 kbuild_options: ["CONFIG_MALI_MEMORY_GROUP_MANAGER=y"], 34 enabled: true, 35 }, 36} 37