sec_hdm.bzl 660 B

123456789101112131415161718192021222324252627
  1. # SPDX-License-Identifier: GPL-2.0
  2. # COPYRIGHT(C) 2023 Samsung Electronics Co., Ltd. All Right Reserved.
  3. __hdm_platform_map = {
  4. "pineapple": {
  5. "gki": [
  6. # keep sorted & in-tree modules only
  7. "drivers/samsung/knox/hdm/hdm.ko",
  8. ],
  9. "consolidate": [
  10. # keep sorted
  11. ],
  12. },
  13. }
  14. def hdm_module_list(target, variant):
  15. if not target in __hdm_platform_map:
  16. return []
  17. target_map = __hdm_platform_map[target]
  18. if not variant in target_map:
  19. return []
  20. if variant == "consolidate":
  21. return target_map[variant] + target_map["gki"]
  22. return target_map[variant]