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 6119d 23h 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 6168d 13h /shark/tags/rel_1_5_4/ This commit was manufactured by cvs2svn to create tag 'rel_1_5_4'.  
1082 6168d 13h tullio /shark/trunk/docs/ Added new changes toward version 1.5.4.  
1081 6168d 13h tullio /shark/trunk/config/ Added -fno-stack-protector flag for compiling with new gcc 4 under Ubuntu.  
1080 6168d 13h tullio /shark/trunk/ Changed the default base address to avoid changing it every time.  
1079 6339d 08h boinc /shark/trunk/docs/ Updated change log.  
1078 6356d 12h fabio /shark/trunk/drivers/linuxc26/ Fix linuxc26 timer cancellation.  
1077 6356d 13h fabio /shark/trunk/ Deactivate pending activations of interrupts. This prevents some
qemu crashes.		  
1076 6457d 09h /shark/tags/rel_1_5_3_1/ This commit was manufactured by cvs2svn to create tag 'rel_1_5_3_1'.  
1075 6457d 09h tullio /shark/trunk/docs/ Fixed typo.  
1074 6457d 09h tullio /shark/trunk/docs/ Updated with latest changes.  
1073 6457d 10h tullio /shark/trunk/ Updated makefiles to consider the new shark.cfg COMPILER option.  
1072 6463d 05h /shark/tags/rel_1_5_3/ This commit was manufactured by cvs2svn to create tag 'rel_1_5_3'.  
1071 6463d 05h tullio /shark/trunk/docs/ Documented new changes.  
1070 6463d 05h tullio /shark/trunk/docs/ Moved from $(SHARK) to $(SHARK)/docs.  
1069 6463d 05h tullio /shark/trunk/ Moved to $(SHARK)/docs.  
1068 6463d 05h tullio /shark/trunk/ Documented changes toward rel_1_5_3.  
1067 6470d 05h 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 6470d 05h tullio /shark/trunk/config/ Cleaned old, unused code.  
1065 6470d 05h tullio /shark/trunk/ports/ Removed due to licensing problems.  

←Prev12Next→

Show All