Subversion Repositories shark

Rev

Show changed files | Directory listing | RSS feed

Filtering Options

Rev Age Author Path Log message Diff
1681 5984d 06h fabio /shark/branches/xen/ Redesign the build system.

Switch to a non-recursive easy to configure build system, with a topdir
makefile that collects information on the targets to build from the subdirs
and generates the needed targets and commands. The ports and demos are
still not connected to the build. The new build system is documented
in the main makefile.
 
1618 6015d 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.
 
1063 6366d 14h tullio /shark/trunk/ Added missing GPL license disclaimer.  
1027 6672d 13h tullio /shark/trunk/tracer/ Removed the dependency from the network for all the applications which do not use the tracer when the kernl is built with the tracer support: now the tracer works with pointer to functions instead of direct calls.

Added the support for the output to disk instead of network output only.

Added the true management for the event filtering. It is now possible to filter families of events.
 
927 7097d 10h pj /shark/trunk/ removed sys_end, sys_abort, using exit instead
removed sys_abort_shutdown at the end of the shutdown task
 
907 7129d 15h mauro /shark/trunk/tracer/ bugfix  
778 7235d 12h giacomo /shark/trunk/tracer/newtrace/ Update  
594 7353d 18h giacomo /shark/trunk/tracer/newtrace/ Update  
593 7354d 10h giacomo /shark/trunk/tracer/newtrace/ Update  
563 7364d 17h giacomo /shark/trunk/tracer/newtrace/ Update  
562 7365d 09h giacomo /shark/trunk/tracer/newtrace/ Update  
561 7365d 10h giacomo /shark/trunk/tracer/newtrace/ Update  
552 7374d 15h giacomo /shark/trunk/tracer/newtrace/ Update  
551 7375d 08h giacomo /shark/trunk/tracer/ Update  
550 7375d 09h giacomo /shark/trunk/tracer/ Update  
534 7383d 13h giacomo /shark/trunk/tracer/ Update  
533 7383d 14h giacomo /shark/trunk/tracer/newtrace/ Update  
532 7383d 14h giacomo /shark/trunk/tracer/ Update  
506 7401d 07h giacomo /shark/trunk/tracer/ Update  
505 7401d 07h giacomo /shark/trunk/tracer/newtrace/ Update  

Show All