Subversion Repositories shark

Rev

Go to most recent revision | Show changed files | Details | Compare with Previous | Blame | RSS feed

Filtering Options

Rev Age Author Path Log message Diff
1618 5452d 01h 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 5500d 14h /shark/tags/rel_1_5_4/ This commit was manufactured by cvs2svn to create tag 'rel_1_5_4'.  
1082 5500d 14h tullio /shark/trunk/docs/ Added new changes toward version 1.5.4.  
1081 5500d 14h tullio /shark/trunk/config/ Added -fno-stack-protector flag for compiling with new gcc 4 under Ubuntu.  
1080 5500d 15h tullio /shark/trunk/ Changed the default base address to avoid changing it every time.  
1079 5671d 09h boinc /shark/trunk/docs/ Updated change log.  
1078 5688d 14h fabio /shark/trunk/drivers/linuxc26/ Fix linuxc26 timer cancellation.  
1077 5688d 14h fabio /shark/trunk/ Deactivate pending activations of interrupts. This prevents some
qemu crashes.
 
1076 5789d 11h /shark/tags/rel_1_5_3_1/ This commit was manufactured by cvs2svn to create tag 'rel_1_5_3_1'.  
1075 5789d 11h tullio /shark/trunk/docs/ Fixed typo.  
1074 5789d 11h tullio /shark/trunk/docs/ Updated with latest changes.  
1073 5789d 11h tullio /shark/trunk/ Updated makefiles to consider the new shark.cfg COMPILER option.  
1072 5795d 06h /shark/tags/rel_1_5_3/ This commit was manufactured by cvs2svn to create tag 'rel_1_5_3'.  
1071 5795d 06h tullio /shark/trunk/docs/ Documented new changes.  
1070 5795d 06h tullio /shark/trunk/docs/ Moved from $(SHARK) to $(SHARK)/docs.  
1069 5795d 06h tullio /shark/trunk/ Moved to $(SHARK)/docs.  
1068 5795d 06h tullio /shark/trunk/ Documented changes toward rel_1_5_3.  
1067 5802d 06h 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 5802d 07h tullio /shark/trunk/config/ Cleaned old, unused code.  
1065 5802d 07h tullio /shark/trunk/ports/ Removed due to licensing problems.  

Show All