diff options
Diffstat (limited to 'profiles/hardened/linux/arm/armv4t')
-rw-r--r-- | profiles/hardened/linux/arm/armv4t/eapi | 1 | ||||
-rw-r--r-- | profiles/hardened/linux/arm/armv4t/parent | 4 |
2 files changed, 0 insertions, 5 deletions
diff --git a/profiles/hardened/linux/arm/armv4t/eapi b/profiles/hardened/linux/arm/armv4t/eapi deleted file mode 100644 index 7ed6ff82de6b..000000000000 --- a/profiles/hardened/linux/arm/armv4t/eapi +++ /dev/null @@ -1 +0,0 @@ -5 diff --git a/profiles/hardened/linux/arm/armv4t/parent b/profiles/hardened/linux/arm/armv4t/parent deleted file mode 100644 index c970fcdfaf20..000000000000 --- a/profiles/hardened/linux/arm/armv4t/parent +++ /dev/null @@ -1,4 +0,0 @@ -../../../../base -../../../../default/linux -../../../../arch/arm/armv4t -.. |