Rev |
Age |
Author |
Path |
Log message |
Diff |
1621 |
6115d 01h |
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 |
6115d 20h |
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 |
6467d 10h |
tullio |
/shark/trunk/ |
Added missing GPL license disclaimer. |
|
1040 |
6689d 08h |
trimarchi |
/shark/trunk/ports/first/ |
compile first |
|
1039 |
6689d 08h |
trimarchi |
/shark/trunk/ports/first/fsf_include/ |
adjust first include |
|
1012 |
7073d 10h |
trimarchi |
/shark/trunk/ports/first/ |
change for bogus in first include |
|
1011 |
7074d 13h |
trimarchi |
/shark/trunk/ports/first/modules/ |
change for bwi |
|
1010 |
7074d 13h |
trimarchi |
/shark/trunk/ports/first/modules/ |
change in feedback scheduling |
|
1009 |
7074d 13h |
trimarchi |
/shark/trunk/ports/first/ |
add feedback |
|
1008 |
7074d 13h |
trimarchi |
/shark/trunk/ports/first/ |
Add feedback and change memmove |
|
1003 |
7101d 12h |
trimarchi |
/shark/trunk/ports/first/modules/ |
chenge in calculation |
|
1002 |
7101d 12h |
trimarchi |
/shark/trunk/ports/first/include/ |
add function prototype |
|
997 |
7105d 04h |
julio |
/shark/trunk/ports/first/fsf_include/ |
*** empty log message *** |
|
996 |
7105d 06h |
trimarchi |
/shark/trunk/ports/first/ |
change in function |
|
995 |
7105d 07h |
trimarchi |
/shark/trunk/ports/first/fsf_include/docs/ |
Change in number of supported local scheduler |
|
994 |
7105d 07h |
trimarchi |
/shark/trunk/ports/first/fsf_include/ |
Comment other structs |
|
993 |
7109d 05h |
lipari |
/shark/trunk/ports/first/fsf_include/ |
Partially adjusted for new "Style".
Still to add description of data types and enumerations. |
|
992 |
7109d 10h |
trimarchi |
/shark/trunk/ports/first/ |
add getdeadline function in grubstar and support of cbsnhstar in fsf |
|
991 |
7109d 10h |
trimarchi |
/shark/trunk/ports/first/ |
change in makefile |
|
990 |
7109d 10h |
trimarchi |
/shark/trunk/ports/first/ |
Add file for feedback scheduling |
|