diff options
Diffstat (limited to 'kernel.c')
-rw-r--r-- | kernel.c | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -86,8 +86,8 @@ void kernel_main(uint32_t r0, uint32_t r1, uint32_t atags) // flat map all memory uart_puts("preparing translation table\n\r"); - short_descriptor_t *translation_table = - (short_descriptor_t*) translation_table_base; + short_descriptor_lvl1_t *translation_table = + (short_descriptor_lvl1_t*) translation_table_base; for (uint32_t i = 0; i < 4096; i++) translation_table[i].section_fields = |