Ben Gras d12d57dcd8 arm: recognize instruction fetch pagefault
. an instruction fetch pagefault generates a prefetch
	  abort exception, this should also be a source of
	  a pagefault event
	. the saved_lr argument to the C exception handler was
	  sometimes an address, sometimes a pointer to that address;
	  the kernel sometimes dereferences it, so it should always be
	  an in-kernel address, never a userspace address. fix in mpx.S
	  makes it always a pointer.
	. move dumping of all processes over serial out of
	  the arch-specific arch_system.c
2013-05-21 15:05:06 +02:00
2013-04-12 18:55:40 +00:00
2013-04-24 10:18:16 +00:00
2013-04-09 16:43:13 +02:00
2013-05-13 11:18:15 +02:00
2013-04-12 18:55:40 +00:00
2013-05-16 20:39:19 +02:00
2013-05-13 11:18:15 +02:00
2013-05-16 20:39:20 +02:00
2013-04-12 18:55:40 +00:00
2013-04-24 10:18:15 +00:00
2013-04-24 10:18:16 +00:00
2013-05-13 11:18:15 +02:00
2013-05-13 11:18:15 +02:00
2010-01-21 10:16:05 +00:00
2013-04-04 12:50:12 +00:00
Description
A fun microkernel meant to match modern usecases
GPL-3.0 148 MiB
Languages
C 78.2%
Roff 10.2%
Assembly 4.6%
Shell 3.7%
Makefile 1.6%
Other 1.2%