From c68891456e3b3c4ad37c36293413405151b87951 Mon Sep 17 00:00:00 2001 From: Wojtek Kosior Date: Tue, 22 Oct 2019 16:30:15 +0200 Subject: check actual 4 bits that indicate paging support (3 were being checed b4) --- kernel.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'kernel.c') diff --git a/kernel.c b/kernel.c index b387a10..76b314d 100644 --- a/kernel.c +++ b/kernel.c @@ -25,7 +25,7 @@ void kernel_main(uint32_t r0, uint32_t r1, uint32_t atags) char *paging; - switch(ID_MMFR0 & 7) /* lowest 4 bits indicate VMSA support */ { + switch(ID_MMFR0 & 0xf) /* lowest 4 bits indicate VMSA support */ { case 0 : paging = "no paging\n\r"; break; case 1 : paging = "implementation defined paging\n\r"; break; case 2 : paging = "VMSAv6, with cache and TLB type registers\n\r"; break; -- cgit v1.2.3