| Rev |
Age |
Author |
Path |
Log message |
Diff |
| 1621 |
6115d 04h |
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 22h |
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. |
|
| 1077 |
6352d 12h |
fabio |
/shark/trunk/ |
Deactivate pending activations of interrupts. This prevents some
qemu crashes. |
|
| 1045 |
6663d 14h |
tullio |
/shark/trunk/kernel/ |
Fixed bug to group_activate_at which tried to activate tasks that failed during creation. Now group_activate_at tests for (proc_table[i].status != FREE) before activating tasks. |
|
| 1020 |
6775d 04h |
mauro |
/shark/trunk/kernel/ |
Small fix along with the new INTDrive version. |
|
| 1018 |
6779d 05h |
mauro |
/shark/trunk/ |
Initial solution of bug #218 |
|
| 1005 |
7076d 05h |
mauro |
/shark/trunk/ |
New handlerset with intdrive |
|
| 959 |
7150d 12h |
pj |
/shark/trunk/kernel/ |
moved modules in the modules directory |
|
| 958 |
7150d 12h |
pj |
/shark/trunk/kernel/ |
wrong printf |
|
| 957 |
7150d 12h |
pj |
/shark/trunk/kernel/ |
moved in the modules directory |
|
| 939 |
7163d 09h |
trimarchi |
/shark/trunk/kernel/modules/ |
Inizialization for change level |
|
| 920 |
7198d 08h |
pj |
/shark/trunk/kernel/ |
removed sys_end, sys_abort, using exit instead |
|
| 919 |
7198d 08h |
pj |
/shark/trunk/kernel/ |
makefree now needs a call to the scheduler after it |
|
| 918 |
7198d 08h |
pj |
/shark/trunk/kernel/ |
removed sys_end, sys_abort, using exceptions instead |
|
| 917 |
7198d 08h |
pj |
/shark/trunk/kernel/ |
now panic should work fine |
|
| 916 |
7198d 08h |
pj |
/shark/trunk/kernel/ |
changed name to makefree |
|
| 915 |
7198d 08h |
pj |
/shark/trunk/kernel/ |
now makefree requires a scjheduler after it |
|
| 914 |
7198d 08h |
pj |
/shark/trunk/kernel/ |
bug with counters fixed |
|
| 913 |
7198d 08h |
pj |
/shark/trunk/kernel/ |
removed sys_end and co.
added exit _exit
checked some bugs
removed abort srings |
|
| 904 |
7230d 12h |
mauro |
/shark/trunk/kernel/modules/ |
Trace bugfix |
|
| 903 |
7230d 13h |
mauro |
/shark/trunk/kernel/modules/ |
New implementation with Facchinetti ruleset |
|
| 870 |
7273d 08h |
trimarchi |
/shark/trunk/kernel/modules/ |
Add change level support for posix module |
|
| 852 |
7313d 11h |
giacomo |
/shark/trunk/kernel/modules/ |
Update |
|
| 851 |
7313d 11h |
giacomo |
/shark/trunk/kernel/modules/ |
Update |
|
| 850 |
7314d 13h |
giacomo |
/shark/trunk/kernel/modules/ |
Update |
|
| 849 |
7314d 14h |
giacomo |
/shark/trunk/kernel/modules/ |
Update |
|
| 837 |
7319d 10h |
giacomo |
/shark/trunk/kernel/modules/ |
Update timer delete |
|
| 803 |
7326d 09h |
giacomo |
/shark/trunk/kernel/ |
Update |
|
| 777 |
7337d 13h |
giacomo |
/shark/trunk/kernel/ |
Tracer events update |
|
| 776 |
7337d 14h |
giacomo |
/shark/trunk/kernel/modules/ |
Update |
|
| 766 |
7397d 08h |
anton |
/shark/trunk/kernel/modules/ |
reset rule simplification + overflow avoidance |
|
| 764 |
7399d 05h |
anton |
/shark/trunk/kernel/modules/ |
Bugfixes |
|
| 761 |
7399d 11h |
anton |
/shark/trunk/kernel/modules/ |
RM comments |
|
| 759 |
7399d 11h |
anton |
/shark/trunk/kernel/modules/ |
EDF comments |
|
| 755 |
7403d 08h |
giacomo |
/shark/trunk/kernel/modules/ |
Update |
|
| 754 |
7403d 08h |
giacomo |
/shark/trunk/kernel/modules/ |
Update |
|
| 753 |
7404d 15h |
giacomo |
/shark/trunk/kernel/ |
Bug fixed: SIG_IGN, kern_deliver must remove pending signal |
|
| 748 |
7406d 08h |
anton |
/shark/trunk/ |
*** empty log message *** |
|
| 747 |
7406d 10h |
giacomo |
/shark/trunk/kernel/modules/ |
Update |
|
| 746 |
7406d 11h |
anton |
/shark/trunk/kernel/modules/ |
*** empty log message *** |
|