Subversion Repositories shark

Rev

Show changed files | Directory listing | RSS feed

Filtering Options

Rev Age Author Path Log message Diff
1681 5989d 17h 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 6020d 12h 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 6372d 02h tullio /shark/trunk/ Added missing GPL license disclaimer.  
1027 6678d 00h 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 7102d 22h pj /shark/trunk/ removed sys_end, sys_abort, using exit instead
removed sys_abort_shutdown at the end of the shutdown task
 
907 7135d 02h mauro /shark/trunk/tracer/ bugfix  
778 7240d 23h giacomo /shark/trunk/tracer/newtrace/ Update  
594 7359d 06h giacomo /shark/trunk/tracer/newtrace/ Update  
593 7359d 21h giacomo /shark/trunk/tracer/newtrace/ Update  
563 7370d 04h giacomo /shark/trunk/tracer/newtrace/ Update  
562 7370d 21h giacomo /shark/trunk/tracer/newtrace/ Update  
561 7370d 21h giacomo /shark/trunk/tracer/newtrace/ Update  
552 7380d 02h giacomo /shark/trunk/tracer/newtrace/ Update  
551 7380d 20h giacomo /shark/trunk/tracer/ Update  
550 7380d 21h giacomo /shark/trunk/tracer/ Update  
534 7389d 01h giacomo /shark/trunk/tracer/ Update  
533 7389d 01h giacomo /shark/trunk/tracer/newtrace/ Update  
532 7389d 02h giacomo /shark/trunk/tracer/ Update  
506 7406d 19h giacomo /shark/trunk/tracer/ Update  
505 7406d 19h giacomo /shark/trunk/tracer/newtrace/ Update  
504 7406d 19h giacomo /shark/trunk/tracer/newtrace/ Update  
503 7406d 20h giacomo /shark/trunk/ Update  
501 7406d 22h giacomo /shark/trunk/tracer/ Update  
498 7408d 01h giacomo /shark/trunk/tracer/ Update  
497 7408d 01h giacomo /shark/trunk/tracer/ Update  
445 7435d 19h giacomo /shark/trunk/ Update  
441 7443d 02h giacomo /shark/trunk/tracer/newtrace/ Update  
431 7448d 03h giacomo /shark/trunk/ Update  
378 7489d 00h giacomo /shark/trunk/tracer/newtrace/ Update  
376 7489d 20h giacomo /shark/trunk/tracer/newtrace/ Update  
374 7489d 23h giacomo /shark/trunk/tracer/newtrace/ Update  
373 7489d 23h giacomo /shark/trunk/tracer/ Update  
372 7489d 23h giacomo /shark/trunk/tracer/newtrace/ Update  
371 7490d 00h giacomo /shark/trunk/tracer/newtrace/ Update  
370 7490d 02h giacomo /shark/trunk/tracer/ Update  
369 7490d 03h giacomo /shark/trunk/tracer/ Update  
367 7490d 19h giacomo /shark/trunk/tracer/newtrace/ Update  
366 7490d 19h giacomo /shark/trunk/tracer/newtrace/ Update  
365 7490d 19h giacomo /shark/trunk/tracer/ Update  
364 7490d 19h giacomo /shark/trunk/tracer/ Update