Minix raspberry pi, specific machine information

minix/include/arch/earm/include/memory.h

-/* omap */
-#define PHYS_MEM_BEGIN 0x80000000
-#define PHYS_MEM_END 0xbfffffff

minix/kernel/arch/earm/pre_init.c

-#define MB_MODS_BASE 0x82000000
-#define MB_MODS_ALIGN 0x00800000 /* 8 MB */
-#define MB_MMAP_START 0x80000000
-#define MB_MMAP_SIZE 0x10000000 /* 256 MB */

minix/include/minix/padconf.h

+/* Raspberry Pi specific registers */
+#define PADCONF_RPI2_REGISTERS_BASE 0x3F200000
+#define PADCONF_RPI2_REGISTERS_OFFSET 0x0000
+#define PADCONF_RPI2_REGISTERS_SIZE 0x1000

minix/kernel/arch/earm/bsp/rpi/rpi_intr_registers.h

+#define RPI2_INTR_BASE 0x3f00B000
+
+#define RPI2_INTR_BASIC_PENDING 0x200
+#define RPI2_INTR_PENDING1 0x204
+#define RPI2_INTR_PENDING2 0x208
+#define RPI2_INTR_FIQ_CTRL 0x20c
+#define RPI2_INTR_ENABLE1 0x210
+#define RPI2_INTR_ENABLE2 0x214
+#define RPI2_INTR_ENABLE_BASIC 0x218
+#define RPI2_INTR_DISABLE1 0x21c
+#define RPI2_INTR_DISABLE2 0x220
+#define RPI2_INTR_DISABLE_BASIC 0x224

minix/kernel/arch/earm/bsp/rpi/rpi_timer_registers.h

+#define RPI2_QA7_BASE 0x40000000
+#define QA7_CORE0TIMER 0x40
+#define QA7_CORE0INT 0x60
+#define RPI2_IRQ_ARMTIMER 3

minix/kernel/arch/earm/pg_utils.c

BB
*start = 0x80000000;
*end = 0xbfffffff;

RPI
+ *start = 0x00000000;
+ *end = 0x3effffff;

minix/kernel/arch/earm/pre_init.c

mb_mmap_start = 0x80000000;
mb_mmap_size = 0x10000000; /* 256 MB */

RPI
+ mb_mods_base = 0x02000000;
+ mb_mmap_start = 0x00008000; /* Don’t overwrite bootcode for secondary CPUs */
+ mb_mmap_size = 0x3C000000 – 0x00008000; /* 960 MB */

releasetools/rpi-bootloader/bootloader2.S

.asciz “0x00200000”