secc
/
l4ka-pistachio
mirror of https://github.com/l4ka/pistachio.git
2
0
Fork 0
Code Issues Projects Releases Wiki Activity
667 Commits 1 Branch 0 Tags 18 MiB
C++ 68.2%
C 18%
Python 5.5%
Assembly 4.9%
Makefile 1.9%
Other 1.3%
Go to file
Jan Stoess 35d6a4abbf Don't enter KDB for default configs 2009-07-22 11:36:20 +02:00
contrib Don't enter KDB for default configs 2009-07-22 11:36:20 +02:00
doc Initial repository adapted to hg 2007-07-06 12:24:13 +02:00
kernel Remove untested catcher, l4test has tested do_xcpu_send and it works. 2009-07-22 09:53:15 +02:00
tools - Determine correct user architecture for x86 kernels 2007-11-09 15:26:50 +01:00
user -Fixed unwinding IPCs when saved state is running but partner is still 2009-07-15 20:24:30 +02: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