ARMv7: Identify A5 on boot.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

diff --git a/kernel/arch/armv7/boot_driver.c b/kernel/arch/armv7/boot_driver.c
index 6f2e6e2..c116589 100644 (file)
--- a/kernel/arch/armv7/boot_driver.c
+++ b/kernel/arch/armv7/boot_driver.c
@@ -72,6 +72,9 @@ check_cpuid(void) {
         case cpuid_arm_impl_arm:
             printf("ARM ");
             switch(cpuid_arm_midr_part_extract((uint8_t *)&midr)) {
+                case cpuid_arm_part_a5:
+                    printf("Cortex-A5 ");
+                    break;
                 case cpuid_arm_part_a7:
                     printf("Cortex-A7 ");
                     break;