| /* |
| * Copyright: |
| * ---------------------------------------------------------------------------- |
| * This confidential and proprietary software may be used only as authorized |
| * by a licensing agreement from ARM Limited. |
| * (C) COPYRIGHT 2018 ARM Limited, ALL RIGHTS RESERVED |
| * The entire notice above must be reproduced on all authorized copies and |
| * copies may only be made to the extent permitted by a licensing agreement |
| * from ARM Limited. |
| * ---------------------------------------------------------------------------- |
| */ |
| |
| bob_kernel_module { |
| name: "smc_protected_mode_switcher", |
| enabled: false, |
| smc_protected_mode_switcher: { |
| enabled: true, |
| }, |
| srcs: [ |
| "Kbuild", |
| "protected_mode_switcher_device.c", |
| "protected_mode_switcher_smc.S", |
| ], |
| kbuild_options: [ |
| "CONFIG_SMC_PROTECTED_MODE_SWITCHER=m", |
| ], |
| defaults: ["kernel_defaults"], |
| } |