diff options
Diffstat (limited to 'kernel.c')
| -rw-r--r-- | kernel.c | 16 |
1 files changed, 7 insertions, 9 deletions
@@ -20,16 +20,14 @@ void kernel_main(uint32_t r0, uint32_t r1, uint32_t atags) // When we attach screen session after loading kernel with socat // we miss kernel's greeting... So we'll make the kernel wait for // one char we're going to send from within screen - uart_getc(); - - uart_puts("Hello, kernel World!\r\n"); +// uart_getc(); + uint32_t ID_MMFR0; + // get contents of coprocessor register to check for paging support + asm("mrc p15, 0, %0, c0, c1, 4" : "=r" (ID_MMFR0)); - uint32_t ID_MMFR0; - // get contents of coprocessor register to check for paging support - asm("mrc p15, 0, %0, c0, c1, 4" : "=r" (ID_MMFR0)); +// uart_puts("Hello, kernel World!\r\n"); char *paging; - switch(ID_MMFR0 & 0xf) /* lowest 4 bits indicate VMSA support */ { case 0 : paging = "no paging\n\r"; break; @@ -47,9 +45,9 @@ void kernel_main(uint32_t r0, uint32_t r1, uint32_t atags) // get content of current program status register to check the current // processor mode asm("mrs %0, cpsr" : "=r" (CPSR) :: "memory"); - + char *mode_name; - + switch(read_processor_mode()) { case MODE_USER : mode_name = "User (PL0)\r\n"; break; |