| Rev |
Age |
Author |
Path |
Log message |
Diff |
| 1621 |
6112d 00h |
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 |
6112d 19h |
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 |
6464d 09h |
tullio |
/shark/trunk/ |
Added missing GPL license disclaimer. |
|
| 1042 |
6675d 07h |
tullio |
/shark/trunk/tracer/include/ |
Introduced the new FTrace_EVT_set_mutex_post value. |
|
| 1027 |
6770d 07h |
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 |
7195d 04h |
pj |
/shark/trunk/ |
removed sys_end, sys_abort, using exit instead
removed sys_abort_shutdown at the end of the shutdown task |
|
| 907 |
7227d 09h |
mauro |
/shark/trunk/tracer/ |
bugfix |
|
| 781 |
7332d 11h |
giacomo |
/shark/trunk/tracer/include/ |
Update |
|
| 778 |
7333d 06h |
giacomo |
/shark/trunk/tracer/newtrace/ |
Update |
|
| 710 |
7416d 07h |
giacomo |
/shark/trunk/tracer/include/ |
Update |
|
| 637 |
7437d 03h |
giacomo |
/shark/trunk/ |
Update |
|
| 594 |
7451d 12h |
giacomo |
/shark/trunk/tracer/newtrace/ |
Update |
|
| 593 |
7452d 04h |
giacomo |
/shark/trunk/tracer/newtrace/ |
Update |
|
| 563 |
7462d 11h |
giacomo |
/shark/trunk/tracer/newtrace/ |
Update |
|
| 562 |
7463d 03h |
giacomo |
/shark/trunk/tracer/newtrace/ |
Update |
|
| 561 |
7463d 04h |
giacomo |
/shark/trunk/tracer/newtrace/ |
Update |
|
| 560 |
7463d 04h |
giacomo |
/shark/trunk/tracer/include/ |
Update |
|
| 552 |
7472d 09h |
giacomo |
/shark/trunk/tracer/newtrace/ |
Update |
|
| 551 |
7473d 03h |
giacomo |
/shark/trunk/tracer/ |
Update |
|
| 550 |
7473d 04h |
giacomo |
/shark/trunk/tracer/ |
Update |
|