# apparmor.d - Full set of apparmor profiles
# Copyright (C) 2020-2021 Mikhail Morfikov
# Copyright (C) 2021-2024 Alexandre Pujol <alexandre@pujol.io>
# SPDX-License-Identifier: GPL-2.0-only

abi <abi/3.0>,

include <tunables/global>

@{exec_path} = @{bin}/kconfig-hardened-check
profile kconfig-hardened-check @{exec_path} {
  include <abstractions/base>
  include <abstractions/python>

  @{exec_path} r,
  @{bin}/python3.@{int} r,

  @{bin}/ r,


  # The usual kernel config locations
  /boot/config-* r,
  @{PROC}/config.gz r,

  # This is for kernels, which are built manually
  /**/.config r,

  include if exists <local/kconfig-hardened-check>
}
