rename raspi4 to raspi4-64

2026-09-22 11:30:01 +08:00 · 2020-05-25 17:46:48 +08:00
parent 38f400d50a
commit f4c71fc5bf
22 changed files with 68 additions and 41 deletions
@@ -13,7 +13,6 @@
 #include <gic_pl400.h>
 #include <board.h>
 #include <armv8.h>
-#include "iomap.h"

 #define MAX_HANDLERS                256
 #define GIC_ACK_INTID_MASK          0x000003ff