diff options
Diffstat (limited to 'kernel.c')
-rw-r--r-- | kernel.c | 32 |
1 files changed, 7 insertions, 25 deletions
@@ -13,16 +13,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; @@ -40,9 +38,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; - + switch(read_processor_mode()) { case 0x10 : mode = "User (PL0)\r\n"; break; @@ -57,24 +55,8 @@ void kernel_main(uint32_t r0, uint32_t r1, uint32_t atags) default : mode = "Unknown mode\r\n"; break; } - uart_puts(mode); - set_system_mode(); - switch(read_processor_mode()) - { - case 0x10 : mode = "User (PL0)\r\n"; break; - case 0x11 : mode = "FIQ (PL1)\r\n"; break; - case 0x12 : mode = "IRQ (PL1)\r\n"; break; - case 0x13 : mode = "Supervisor (PL1)\r\n"; break; - case 0x16 : mode = "Monitor (PL1)\r\n"; break; - case 0x17 : mode = "Abort (PL1)\r\n"; break; - case 0x1a : mode = "Hyp (PL2)\r\n"; break; - case 0x1b : mode = "Undefined (PL1)\r\n"; break; - case 0x1f : mode = "System (PL1)\r\n"; break; - default : mode = "Unknown mode\r\n"; break; - } - uart_puts(mode); while (1) |