diff options
Diffstat (limited to 'profiles/profiles.desc')
| -rw-r--r-- | profiles/profiles.desc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/profiles/profiles.desc b/profiles/profiles.desc index 7d9675607b7b..002cd17754c5 100644 --- a/profiles/profiles.desc +++ b/profiles/profiles.desc @@ -176,6 +176,7 @@ amd64 hardened/linux/musl/amd64 exp arm hardened/linux/arm/armv7a dev arm hardened/linux/arm/armv6j dev arm hardened/linux/uclibc/arm/armv7a dev +arm hardened/linux/musl/arm/armv7a exp ia64 hardened/linux/ia64 dev mips hardened/linux/uclibc/mips exp mips hardened/linux/uclibc/mips/mipsel exp |