# patches/arch/arm64/

Cross-cutting patches that touch `arch/arm64/Kconfig` or other
non-board-specific arch-level files. Apply only where explicitly
manifested.

## Patches

### `0006-arm64-Kconfig-do-not-select-HAVE_GCC_PLUGINS.patch`

Local-build workaround that makes `arch/arm64` not select
`HAVE_GCC_PLUGINS`. **NOT for upstream** — it papers over a missing
host-side GCC plugin dependency at build time rather than fixing the
makepkg/distro packaging that should provide `gcc-plugin-devel` (or
equivalent) when needed.

Used on ampere when building the kernel from a clean Arch ARM userspace
that doesn't have the gcc plugins development headers installed. The
proper fix is to install the headers; this patch is a fallback for
when the user wants a working kernel without touching the userspace
package set.

Source: `github.com/marfrit/misc_patches/genbook/kernel/0006`
Author: Markus Fritsche