diff options
-rw-r--r-- | kernel.c | 2 |
1 files changed, 0 insertions, 2 deletions
@@ -16,8 +16,6 @@ void kernel_main(uint32_t r0, uint32_t r1, uint32_t atags) char *paging; - uart_puts("hmmm\n\r"); - switch(ID_MMFR0 & 7) /* lowest 4 bits indicate VMSA support */ { case 0 : paging = "no paging\n\r"; break; case 1 : paging = "implementation defined paging\n\r"; break; |