| Rev |
Age |
Author |
Path |
Log message |
Diff |
| 1621 |
5979d 06h |
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 |
5980d 01h |
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 |
6216d 14h |
fabio |
/shark/trunk/ |
Deactivate pending activations of interrupts. This prevents some
qemu crashes. |
|
| 1045 |
6527d 16h |
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 |
6639d 06h |
mauro |
/shark/trunk/kernel/ |
Small fix along with the new INTDrive version. |
|
| 1018 |
6643d 08h |
mauro |
/shark/trunk/ |
Initial solution of bug #218 |
|
| 1005 |
6940d 08h |
mauro |
/shark/trunk/ |
New handlerset with intdrive |
|
| 959 |
7014d 15h |
pj |
/shark/trunk/kernel/ |
moved modules in the modules directory |
|
| 958 |
7014d 15h |
pj |
/shark/trunk/kernel/ |
wrong printf |
|
| 957 |
7014d 15h |
pj |
/shark/trunk/kernel/ |
moved in the modules directory |
|
| 939 |
7027d 12h |
trimarchi |
/shark/trunk/kernel/modules/ |
Inizialization for change level |
|
| 920 |
7062d 10h |
pj |
/shark/trunk/kernel/ |
removed sys_end, sys_abort, using exit instead |
|
| 919 |
7062d 11h |
pj |
/shark/trunk/kernel/ |
makefree now needs a call to the scheduler after it |
|
| 918 |
7062d 11h |
pj |
/shark/trunk/kernel/ |
removed sys_end, sys_abort, using exceptions instead |
|
| 917 |
7062d 11h |
pj |
/shark/trunk/kernel/ |
now panic should work fine |
|
| 916 |
7062d 11h |
pj |
/shark/trunk/kernel/ |
changed name to makefree |
|
| 915 |
7062d 11h |
pj |
/shark/trunk/kernel/ |
now makefree requires a scjheduler after it |
|
| 914 |
7062d 11h |
pj |
/shark/trunk/kernel/ |
bug with counters fixed |
|
| 913 |
7062d 11h |
pj |
/shark/trunk/kernel/ |
removed sys_end and co.
added exit _exit
checked some bugs
removed abort srings |
|
| 904 |
7094d 15h |
mauro |
/shark/trunk/kernel/modules/ |
Trace bugfix |
|
| 903 |
7094d 15h |
mauro |
/shark/trunk/kernel/modules/ |
New implementation with Facchinetti ruleset |
|
| 870 |
7137d 11h |
trimarchi |
/shark/trunk/kernel/modules/ |
Add change level support for posix module |
|
| 852 |
7177d 13h |
giacomo |
/shark/trunk/kernel/modules/ |
Update |
|
| 851 |
7177d 14h |
giacomo |
/shark/trunk/kernel/modules/ |
Update |
|
| 850 |
7178d 15h |
giacomo |
/shark/trunk/kernel/modules/ |
Update |
|
| 849 |
7178d 16h |
giacomo |
/shark/trunk/kernel/modules/ |
Update |
|
| 837 |
7183d 12h |
giacomo |
/shark/trunk/kernel/modules/ |
Update timer delete |
|
| 803 |
7190d 12h |
giacomo |
/shark/trunk/kernel/ |
Update |
|
| 777 |
7201d 15h |
giacomo |
/shark/trunk/kernel/ |
Tracer events update |
|
| 776 |
7201d 16h |
giacomo |
/shark/trunk/kernel/modules/ |
Update |
|
| 766 |
7261d 10h |
anton |
/shark/trunk/kernel/modules/ |
reset rule simplification + overflow avoidance |
|
| 764 |
7263d 08h |
anton |
/shark/trunk/kernel/modules/ |
Bugfixes |
|
| 761 |
7263d 14h |
anton |
/shark/trunk/kernel/modules/ |
RM comments |
|
| 759 |
7263d 14h |
anton |
/shark/trunk/kernel/modules/ |
EDF comments |
|
| 755 |
7267d 11h |
giacomo |
/shark/trunk/kernel/modules/ |
Update |
|
| 754 |
7267d 11h |
giacomo |
/shark/trunk/kernel/modules/ |
Update |
|
| 753 |
7268d 17h |
giacomo |
/shark/trunk/kernel/ |
Bug fixed: SIG_IGN, kern_deliver must remove pending signal |
|
| 748 |
7270d 10h |
anton |
/shark/trunk/ |
*** empty log message *** |
|
| 747 |
7270d 12h |
giacomo |
/shark/trunk/kernel/modules/ |
Update |
|
| 746 |
7270d 14h |
anton |
/shark/trunk/kernel/modules/ |
*** empty log message *** |
|