Subversion Repositories shark

Rev

Go to most recent revision | Show changed files | Directory listing | RSS feed

Filtering Options

Rev Age Author Path Log message Diff
1618 5964d 14h fabio /shark/branches/xen/ Started a new xen/ branch.

The plan is to support xen (without HVM) as an execution platform, and,
in the process, to decouple the generic kernel from the OSLib, trying to
make it easier to port Shark to new architectures.
 
1083 6013d 03h /shark/tags/rel_1_5_4/ This commit was manufactured by cvs2svn to create tag 'rel_1_5_4'.  
1082 6013d 03h tullio /shark/trunk/docs/ Added new changes toward version 1.5.4.  
1081 6013d 03h tullio /shark/trunk/config/ Added -fno-stack-protector flag for compiling with new gcc 4 under Ubuntu.  
1080 6013d 04h tullio /shark/trunk/ Changed the default base address to avoid changing it every time.  
1079 6183d 22h boinc /shark/trunk/docs/ Updated change log.  
1078 6201d 03h fabio /shark/trunk/drivers/linuxc26/ Fix linuxc26 timer cancellation.  
1077 6201d 03h fabio /shark/trunk/ Deactivate pending activations of interrupts. This prevents some
qemu crashes.
 
1076 6301d 23h /shark/tags/rel_1_5_3_1/ This commit was manufactured by cvs2svn to create tag 'rel_1_5_3_1'.  
1075 6301d 23h tullio /shark/trunk/docs/ Fixed typo.  
1074 6301d 23h tullio /shark/trunk/docs/ Updated with latest changes.  
1073 6302d 00h tullio /shark/trunk/ Updated makefiles to consider the new shark.cfg COMPILER option.  
1072 6307d 19h /shark/tags/rel_1_5_3/ This commit was manufactured by cvs2svn to create tag 'rel_1_5_3'.  
1071 6307d 19h tullio /shark/trunk/docs/ Documented new changes.  
1070 6307d 19h tullio /shark/trunk/docs/ Moved from $(SHARK) to $(SHARK)/docs.  
1069 6307d 19h tullio /shark/trunk/ Moved to $(SHARK)/docs.  
1068 6307d 19h tullio /shark/trunk/ Documented changes toward rel_1_5_3.  
1067 6314d 19h tullio /shark/trunk/ Added licensing disclaimer to avoid the manual insertion of the license disclaimer in each single source file (i.e., Linux code).  
1066 6314d 20h tullio /shark/trunk/config/ Cleaned old, unused code.  
1065 6314d 20h tullio /shark/trunk/ports/ Removed due to licensing problems.  

Show All