Workaround buggy timer in raspberry pie by using our own timer

[grub2.git] / include / grub / arm / system.h

diff --git a/include/grub/arm/system.h b/include/grub/arm/system.h
index e2206000332bb1afbe6fbeb898e61f9c9d77f581..aa43ed63f5ba773227efb21a2d60423d166ec8cd 100644 (file)
--- a/include/grub/arm/system.h
+++ b/include/grub/arm/system.h
@@ -1,6 +1,12 @@
 #ifndef GRUB_SYSTEM_CPU_HEADER
 #define GRUB_SYSTEM_CPU_HEADER
 
+enum
+  {
+    GRUB_ARM_MACHINE_TYPE_RASPBERRY_PI = 3138,
+    GRUB_ARM_MACHINE_TYPE_FDT = 0xFFFFFFFF
+  };
+
 void grub_arm_disable_caches_mmu (void);
 
 #endif /* ! GRUB_SYSTEM_CPU_HEADER */