| Rev |
Age |
Author |
Path |
Log message |
Diff |
| 1621 |
6155d 02h |
fabio |
/shark/branches/xen/ |
Move all the low level libc related headers from the OSLib to libc/.
Move the headers used to define the libc interface exported by Shark from
the OSLib to libc/arch/$(ARCH) (remember, by now ARCH can be only x86,) and
change their users to reflect the movement. There are still a couple of
problems to solve, that are how to deal with the libc code used inside the
kernel, and how to handle things that are on the boundary, e.g., some type
definitions and so on. Btw this had to be started from somewhere. |
|
| 1618 |
6155d 21h |
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 |
6507d 10h |
tullio |
/shark/trunk/ |
Added missing GPL license disclaimer. |
|
| 1042 |
6718d 08h |
tullio |
/shark/trunk/tracer/include/ |
Introduced the new FTrace_EVT_set_mutex_post value. |
|
| 1027 |
6813d 08h |
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 |
7238d 06h |
pj |
/shark/trunk/ |
removed sys_end, sys_abort, using exit instead
removed sys_abort_shutdown at the end of the shutdown task |
|
| 907 |
7270d 10h |
mauro |
/shark/trunk/tracer/ |
bugfix |
|
| 781 |
7375d 12h |
giacomo |
/shark/trunk/tracer/include/ |
Update |
|
| 778 |
7376d 07h |
giacomo |
/shark/trunk/tracer/newtrace/ |
Update |
|
| 710 |
7459d 08h |
giacomo |
/shark/trunk/tracer/include/ |
Update |
|
| 637 |
7480d 05h |
giacomo |
/shark/trunk/ |
Update |
|
| 594 |
7494d 14h |
giacomo |
/shark/trunk/tracer/newtrace/ |
Update |
|
| 593 |
7495d 06h |
giacomo |
/shark/trunk/tracer/newtrace/ |
Update |
|
| 563 |
7505d 12h |
giacomo |
/shark/trunk/tracer/newtrace/ |
Update |
|
| 562 |
7506d 05h |
giacomo |
/shark/trunk/tracer/newtrace/ |
Update |
|
| 561 |
7506d 05h |
giacomo |
/shark/trunk/tracer/newtrace/ |
Update |
|
| 560 |
7506d 06h |
giacomo |
/shark/trunk/tracer/include/ |
Update |
|
| 552 |
7515d 11h |
giacomo |
/shark/trunk/tracer/newtrace/ |
Update |
|
| 551 |
7516d 04h |
giacomo |
/shark/trunk/tracer/ |
Update |
|
| 550 |
7516d 05h |
giacomo |
/shark/trunk/tracer/ |
Update |
|