This website requires JavaScript.
Explore
Help
Sign In
secc
/
l4ka-pistachio
mirror of
https://github.com/l4ka/pistachio.git
Watch
2
Star
0
Fork
You've already forked l4ka-pistachio
0
Code
Issues
Projects
Releases
Wiki
Activity
master
l4ka-pistachio
/
kernel
/
kdb
History
Jan Stoess
1ae3d58bff
Fix printing of 64-bit decimal values specified by "%lld" in format
...
identifier.
2012-09-12 16:37:18 +02:00
..
api
/v4
Fix printf format identifier handling. Use %X for printing uppercase
2012-07-30 15:21:56 +02:00
arch
- Add ppc_{get,set}_fpscr
2010-07-14 16:35:16 +02:00
generic
Fix printing of 64-bit decimal values specified by "%lld" in format
2012-09-12 16:37:18 +02:00
glue
PPC: use SUBPLATFORM instead of PLATFORM to distinguish between bg and
2010-09-13 16:37:34 +02:00
platform
-Another set of small serial console changes
2010-07-15 09:38:50 +02:00
Makeconf
Merged kernel/include/ into kernel/src/.
2007-07-06 13:02:01 +02:00