Jan Stoess 37031aa006 - Minor spinlock debugging fix ... - In rare cases, we might get a NMI (or breakpoint exception) just after sys_ipc has been invoked, but _before_ esp has been set to tss.esp0 in that case, we need to switch stacks manually and preserve the processor-saved frame. We make sure that, before tss there is enough scratch space to cover EFLAGS, CS, and EIP saved by the processor; this way, we can get around without having to spend KDB its own interrupt task gate		2008-01-25 16:24:21 +01:00
contrib	- Update config: allow exregs from pager	2007-12-05 10:08:19 +01:00
doc	Initial repository adapted to hg	2007-07-06 12:24:13 +02:00
kernel	- Minor spinlock debugging fix	2008-01-25 16:24:21 +01:00
tools	- Determine correct user architecture for x86 kernels	2007-11-09 15:26:50 +01:00
user	- If kickstart tells l4 to grab some reserved memory for its own use, there	2008-01-25 16:22:30 +01:00
.hgignore	Ignore build-directory of tools/autobuild	2007-08-09 22:05:34 +02:00
AUTHORS	Initial repository adapted to hg	2007-07-06 12:24:13 +02:00