Sebastian Sumpf 658efaee17 FOC: Fix 'user_flags' on x86 ...

Use carry bit in EFLAGS to pass thread state to ex_reg caller. Do not touch
other bits, which might disable interrupts on kernel exit.

Fixes ssumpf/foc#2.

2013-03-14 17:07:48 +01:00

kernel/fiasco

FOC: Fix 'user_flags' on x86

2013-03-14 17:07:48 +01:00

l4

L4RE: Remove 'moe' from 'switch_ram_base' target

2013-02-20 12:30:53 +01:00

tools/preprocess

FOC/L4RE: Upstream revision 47

2013-02-20 12:17:17 +01:00

.gitignore

FOC: Arndale single core support

2013-02-20 12:19:25 +01:00

repomgr

FOC/L4RE: Upstream revision 40

2013-01-11 17:00:47 +01:00

Description

No description provided

25 MiB

Languages

C 66.5%

C++ 20.5%

Assembly 6.7%

Makefile 3.2%

Perl 1%

Other 1.9%