|
@@ -14,22 +14,6 @@ IRQHANDLER(sysclock)
|
|
set_led(count >> 3); /* 4 Hz */
|
|
set_led(count >> 3); /* 4 Hz */
|
|
}
|
|
}
|
|
|
|
|
|
-/* Configure ABC memory map */
|
|
|
|
-static void init_abc_memmap(void)
|
|
|
|
-{
|
|
|
|
- volatile uint32_t *pg = &ABCMEMMAP_PAGE(0);
|
|
|
|
-
|
|
|
|
- for (unsigned int addr = 0; addr < 0x10000; addr += 512) {
|
|
|
|
- if (addr >= 0x5800 && addr < 0x6000) {
|
|
|
|
- *pg++ = ABCMEMMAP_RD | addr;
|
|
|
|
- } else if (addr >= 0x8000 && addr < 0xc000) {
|
|
|
|
- *pg++ = ABCMEMMAP_RD | ABCMEMMAP_WR | addr;
|
|
|
|
- } else {
|
|
|
|
- *pg++ = addr; /* Disabled */
|
|
|
|
- }
|
|
|
|
- }
|
|
|
|
-}
|
|
|
|
-
|
|
|
|
static no_return killed(const char *how, size_t pc)
|
|
static no_return killed(const char *how, size_t pc)
|
|
{
|
|
{
|
|
con_printf("ERROR: %s at 0x%08x\n", how, pc);
|
|
con_printf("ERROR: %s at 0x%08x\n", how, pc);
|
|
@@ -63,8 +47,8 @@ static void init(void)
|
|
con_set_baudrate(115200);
|
|
con_set_baudrate(115200);
|
|
con_puts(hello);
|
|
con_puts(hello);
|
|
|
|
|
|
|
|
+ abc_init_memmap();
|
|
abc_init();
|
|
abc_init();
|
|
- init_abc_memmap();
|
|
|
|
|
|
|
|
timer_irq_count = 0;
|
|
timer_irq_count = 0;
|
|
timer_irq_start = rdtime();
|
|
timer_irq_start = rdtime();
|