Commit e92980f3 authored by Gerwin Klein's avatar Gerwin Klein Committed by Adrian Danis
Browse files

remove ARM926EJ_S platform (even from comments)

See also https://github.com/seL4/seL4/issues/1
parent ef2295a4
......@@ -18,7 +18,6 @@ CONFIG_KERNEL_STABLE=y
# CONFIG_ARCH_X86_64 is not set
CONFIG_ARCH_ARM=y
# CONFIG_ARM1136JF_S is not set
# CONFIG_ARM926EJ_S is not set
# CONFIG_ARM_CORTEX_A8 is not set
# CONFIG_ARM_CORTEX_A9 is not set
CONFIG_ARM_CORTEX_A15=y
......
......@@ -18,7 +18,6 @@ CONFIG_KERNEL_STABLE=y
# CONFIG_ARCH_X86_64 is not set
CONFIG_ARCH_ARM=y
# CONFIG_ARM1136JF_S is not set
# CONFIG_ARM926EJ_S is not set
# CONFIG_ARM_CORTEX_A8 is not set
# CONFIG_ARM_CORTEX_A9 is not set
CONFIG_ARM_CORTEX_A15=y
......
......@@ -18,7 +18,6 @@ CONFIG_KERNEL_STABLE=y
# CONFIG_ARCH_X86_64 is not set
CONFIG_ARCH_ARM=y
# CONFIG_ARM1136JF_S is not set
# CONFIG_ARM926EJ_S is not set
CONFIG_ARM_CORTEX_A8=y
# CONFIG_ARM_CORTEX_A9 is not set
# CONFIG_ARM_CORTEX_A15 is not set
......
......@@ -18,7 +18,6 @@ CONFIG_KERNEL_STABLE=y
# CONFIG_ARCH_X86_64 is not set
CONFIG_ARCH_ARM=y
# CONFIG_ARM1136JF_S is not set
# CONFIG_ARM926EJ_S is not set
CONFIG_ARM_CORTEX_A8=y
# CONFIG_ARM_CORTEX_A9 is not set
# CONFIG_ARM_CORTEX_A15 is not set
......
......@@ -18,7 +18,6 @@ CONFIG_KERNEL_STABLE=y
# CONFIG_ARCH_X86_64 is not set
CONFIG_ARCH_ARM=y
# CONFIG_ARM1136JF_S is not set
# CONFIG_ARM926EJ_S is not set
CONFIG_ARM_CORTEX_A8=y
# CONFIG_ARM_CORTEX_A9 is not set
# CONFIG_ARM_CORTEX_A15 is not set
......
......@@ -18,7 +18,6 @@ CONFIG_KERNEL_STABLE=y
# CONFIG_ARCH_X86_64 is not set
CONFIG_ARCH_ARM=y
# CONFIG_ARM1136JF_S is not set
# CONFIG_ARM926EJ_S is not set
CONFIG_ARM_CORTEX_A8=y
# CONFIG_ARM_CORTEX_A9 is not set
# CONFIG_ARM_CORTEX_A15 is not set
......
......@@ -18,7 +18,6 @@ CONFIG_KERNEL_STABLE=y
# CONFIG_ARCH_X86_64 is not set
CONFIG_ARCH_ARM=y
# CONFIG_ARM1136JF_S is not set
# CONFIG_ARM926EJ_S is not set
# CONFIG_ARM_CORTEX_A8 is not set
# CONFIG_ARM_CORTEX_A9 is not set
CONFIG_ARM_CORTEX_A15=y
......
......@@ -18,7 +18,6 @@ CONFIG_KERNEL_STABLE=y
# CONFIG_ARCH_X86_64 is not set
CONFIG_ARCH_ARM=y
# CONFIG_ARM1136JF_S is not set
# CONFIG_ARM926EJ_S is not set
# CONFIG_ARM_CORTEX_A8 is not set
# CONFIG_ARM_CORTEX_A9 is not set
CONFIG_ARM_CORTEX_A15=y
......
......@@ -18,7 +18,6 @@ CONFIG_KERNEL_STABLE=y
# CONFIG_ARCH_X86_64 is not set
CONFIG_ARCH_ARM=y
CONFIG_ARM1136JF_S=y
# CONFIG_ARM926EJ_S is not set
# CONFIG_ARM_CORTEX_A8 is not set
# CONFIG_ARM_CORTEX_A9 is not set
# CONFIG_ARM_CORTEX_A15 is not set
......
......@@ -18,7 +18,6 @@ CONFIG_KERNEL_STABLE=y
# CONFIG_ARCH_X86_64 is not set
CONFIG_ARCH_ARM=y
CONFIG_ARM1136JF_S=y
# CONFIG_ARM926EJ_S is not set
# CONFIG_ARM_CORTEX_A8 is not set
# CONFIG_ARM_CORTEX_A9 is not set
# CONFIG_ARM_CORTEX_A15 is not set
......
......@@ -18,7 +18,6 @@ CONFIG_KERNEL_STABLE=y
# CONFIG_ARCH_X86_64 is not set
CONFIG_ARCH_ARM=y
CONFIG_ARM1136JF_S=y
# CONFIG_ARM926EJ_S is not set
# CONFIG_ARM_CORTEX_A8 is not set
# CONFIG_ARM_CORTEX_A9 is not set
# CONFIG_ARM_CORTEX_A15 is not set
......
......@@ -18,7 +18,6 @@ CONFIG_KERNEL_STABLE=y
# CONFIG_ARCH_X86_64 is not set
CONFIG_ARCH_ARM=y
CONFIG_ARM1136JF_S=y
# CONFIG_ARM926EJ_S is not set
# CONFIG_ARM_CORTEX_A8 is not set
# CONFIG_ARM_CORTEX_A9 is not set
# CONFIG_ARM_CORTEX_A15 is not set
......
......@@ -18,7 +18,6 @@ CONFIG_KERNEL_STABLE=y
# CONFIG_ARCH_X86_64 is not set
CONFIG_ARCH_ARM=y
CONFIG_ARM1136JF_S=y
# CONFIG_ARM926EJ_S is not set
# CONFIG_ARM_CORTEX_A8 is not set
# CONFIG_ARM_CORTEX_A9 is not set
# CONFIG_ARM_CORTEX_A15 is not set
......
......@@ -18,7 +18,6 @@ CONFIG_KERNEL_STABLE=y
# CONFIG_ARCH_X86_64 is not set
CONFIG_ARCH_ARM=y
CONFIG_ARM1136JF_S=y
# CONFIG_ARM926EJ_S is not set
# CONFIG_ARM_CORTEX_A8 is not set
# CONFIG_ARM_CORTEX_A9 is not set
# CONFIG_ARM_CORTEX_A15 is not set
......
......@@ -18,7 +18,6 @@ CONFIG_KERNEL_STABLE=y
# CONFIG_ARCH_X86_64 is not set
CONFIG_ARCH_ARM=y
CONFIG_ARM1136JF_S=y
# CONFIG_ARM926EJ_S is not set
# CONFIG_ARM_CORTEX_A8 is not set
# CONFIG_ARM_CORTEX_A9 is not set
# CONFIG_ARM_CORTEX_A15 is not set
......
......@@ -18,7 +18,6 @@ CONFIG_KERNEL_STABLE=y
# CONFIG_ARCH_X86_64 is not set
CONFIG_ARCH_ARM=y
CONFIG_ARM1136JF_S=y
# CONFIG_ARM926EJ_S is not set
# CONFIG_ARM_CORTEX_A8 is not set
# CONFIG_ARM_CORTEX_A9 is not set
# CONFIG_ARM_CORTEX_A15 is not set
......
......@@ -18,7 +18,6 @@ CONFIG_KERNEL_STABLE=y
# CONFIG_ARCH_X86_64 is not set
CONFIG_ARCH_ARM=y
# CONFIG_ARM1136JF_S is not set
# CONFIG_ARM926EJ_S is not set
# CONFIG_ARM_CORTEX_A8 is not set
CONFIG_ARM_CORTEX_A9=y
# CONFIG_ARM_CORTEX_A15 is not set
......
......@@ -18,7 +18,6 @@ CONFIG_KERNEL_STABLE=y
# CONFIG_ARCH_X86_64 is not set
CONFIG_ARCH_ARM=y
# CONFIG_ARM1136JF_S is not set
# CONFIG_ARM926EJ_S is not set
# CONFIG_ARM_CORTEX_A8 is not set
CONFIG_ARM_CORTEX_A9=y
# CONFIG_ARM_CORTEX_A15 is not set
......
......@@ -18,7 +18,6 @@ CONFIG_KERNEL_STABLE=y
# CONFIG_ARCH_X86_64 is not set
CONFIG_ARCH_ARM=y
# CONFIG_ARM1136JF_S is not set
# CONFIG_ARM926EJ_S is not set
# CONFIG_ARM_CORTEX_A8 is not set
# CONFIG_ARM_CORTEX_A9 is not set
CONFIG_ARM_CORTEX_A15=y
......
......@@ -18,7 +18,6 @@ CONFIG_KERNEL_STABLE=y
# CONFIG_ARCH_X86_64 is not set
CONFIG_ARCH_ARM=y
# CONFIG_ARM1136JF_S is not set
# CONFIG_ARM926EJ_S is not set
# CONFIG_ARM_CORTEX_A8 is not set
# CONFIG_ARM_CORTEX_A9 is not set
CONFIG_ARM_CORTEX_A15=y
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment