Rev |
Age |
Author |
Path |
Log message |
Diff |
1621 |
5962d 08h |
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 |
5963d 03h |
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 |
6314d 17h |
tullio |
/shark/trunk/ |
Added missing GPL license disclaimer. |
|
1040 |
6536d 15h |
trimarchi |
/shark/trunk/ports/first/ |
compile first |
|
1039 |
6536d 15h |
trimarchi |
/shark/trunk/ports/first/fsf_include/ |
adjust first include |
|
1012 |
6920d 17h |
trimarchi |
/shark/trunk/ports/first/ |
change for bogus in first include |
|
1011 |
6921d 19h |
trimarchi |
/shark/trunk/ports/first/modules/ |
change for bwi |
|
1010 |
6921d 19h |
trimarchi |
/shark/trunk/ports/first/modules/ |
change in feedback scheduling |
|
1009 |
6921d 19h |
trimarchi |
/shark/trunk/ports/first/ |
add feedback |
|
1008 |
6921d 19h |
trimarchi |
/shark/trunk/ports/first/ |
Add feedback and change memmove |
|
1003 |
6948d 19h |
trimarchi |
/shark/trunk/ports/first/modules/ |
chenge in calculation |
|
1002 |
6948d 19h |
trimarchi |
/shark/trunk/ports/first/include/ |
add function prototype |
|
997 |
6952d 10h |
julio |
/shark/trunk/ports/first/fsf_include/ |
*** empty log message *** |
|
996 |
6952d 13h |
trimarchi |
/shark/trunk/ports/first/ |
change in function |
|
995 |
6952d 13h |
trimarchi |
/shark/trunk/ports/first/fsf_include/docs/ |
Change in number of supported local scheduler |
|
994 |
6952d 13h |
trimarchi |
/shark/trunk/ports/first/fsf_include/ |
Comment other structs |
|
993 |
6956d 11h |
lipari |
/shark/trunk/ports/first/fsf_include/ |
Partially adjusted for new "Style".
Still to add description of data types and enumerations. |
|
992 |
6956d 16h |
trimarchi |
/shark/trunk/ports/first/ |
add getdeadline function in grubstar and support of cbsnhstar in fsf |
|
991 |
6956d 16h |
trimarchi |
/shark/trunk/ports/first/ |
change in makefile |
|
990 |
6956d 16h |
trimarchi |
/shark/trunk/ports/first/ |
Add file for feedback scheduling |
|