| Rev |
Age |
Author |
Path |
Log message |
Diff |
| 1681 |
5936d 22h |
fabio |
/shark/branches/xen/ |
Redesign the build system.
Switch to a non-recursive easy to configure build system, with a topdir
makefile that collects information on the targets to build from the subdirs
and generates the needed targets and commands. The ports and demos are
still not connected to the build. The new build system is documented
in the main makefile. |
|
| 1621 |
5966d 22h |
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 |
5967d 17h |
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 |
6204d 06h |
fabio |
/shark/trunk/ |
Deactivate pending activations of interrupts. This prevents some
qemu crashes. |
|
| 1045 |
6515d 08h |
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 |
6626d 22h |
mauro |
/shark/trunk/kernel/ |
Small fix along with the new INTDrive version. |
|
| 1018 |
6631d 00h |
mauro |
/shark/trunk/ |
Initial solution of bug #218 |
|
| 1005 |
6928d 00h |
mauro |
/shark/trunk/ |
New handlerset with intdrive |
|
| 959 |
7002d 07h |
pj |
/shark/trunk/kernel/ |
moved modules in the modules directory |
|
| 958 |
7002d 07h |
pj |
/shark/trunk/kernel/ |
wrong printf |
|
| 957 |
7002d 07h |
pj |
/shark/trunk/kernel/ |
moved in the modules directory |
|
| 939 |
7015d 04h |
trimarchi |
/shark/trunk/kernel/modules/ |
Inizialization for change level |
|
| 920 |
7050d 03h |
pj |
/shark/trunk/kernel/ |
removed sys_end, sys_abort, using exit instead |
|
| 919 |
7050d 03h |
pj |
/shark/trunk/kernel/ |
makefree now needs a call to the scheduler after it |
|
| 918 |
7050d 03h |
pj |
/shark/trunk/kernel/ |
removed sys_end, sys_abort, using exceptions instead |
|
| 917 |
7050d 03h |
pj |
/shark/trunk/kernel/ |
now panic should work fine |
|
| 916 |
7050d 03h |
pj |
/shark/trunk/kernel/ |
changed name to makefree |
|
| 915 |
7050d 03h |
pj |
/shark/trunk/kernel/ |
now makefree requires a scjheduler after it |
|
| 914 |
7050d 03h |
pj |
/shark/trunk/kernel/ |
bug with counters fixed |
|
| 913 |
7050d 03h |
pj |
/shark/trunk/kernel/ |
removed sys_end and co.
added exit _exit
checked some bugs
removed abort srings |
|
| 904 |
7082d 07h |
mauro |
/shark/trunk/kernel/modules/ |
Trace bugfix |
|
| 903 |
7082d 07h |
mauro |
/shark/trunk/kernel/modules/ |
New implementation with Facchinetti ruleset |
|
| 870 |
7125d 03h |
trimarchi |
/shark/trunk/kernel/modules/ |
Add change level support for posix module |
|
| 852 |
7165d 05h |
giacomo |
/shark/trunk/kernel/modules/ |
Update |
|
| 851 |
7165d 06h |
giacomo |
/shark/trunk/kernel/modules/ |
Update |
|
| 850 |
7166d 08h |
giacomo |
/shark/trunk/kernel/modules/ |
Update |
|
| 849 |
7166d 08h |
giacomo |
/shark/trunk/kernel/modules/ |
Update |
|
| 837 |
7171d 04h |
giacomo |
/shark/trunk/kernel/modules/ |
Update timer delete |
|
| 803 |
7178d 04h |
giacomo |
/shark/trunk/kernel/ |
Update |
|
| 777 |
7189d 07h |
giacomo |
/shark/trunk/kernel/ |
Tracer events update |
|
| 776 |
7189d 08h |
giacomo |
/shark/trunk/kernel/modules/ |
Update |
|
| 766 |
7249d 02h |
anton |
/shark/trunk/kernel/modules/ |
reset rule simplification + overflow avoidance |
|
| 764 |
7251d 00h |
anton |
/shark/trunk/kernel/modules/ |
Bugfixes |
|
| 761 |
7251d 06h |
anton |
/shark/trunk/kernel/modules/ |
RM comments |
|
| 759 |
7251d 06h |
anton |
/shark/trunk/kernel/modules/ |
EDF comments |
|
| 755 |
7255d 03h |
giacomo |
/shark/trunk/kernel/modules/ |
Update |
|
| 754 |
7255d 03h |
giacomo |
/shark/trunk/kernel/modules/ |
Update |
|
| 753 |
7256d 09h |
giacomo |
/shark/trunk/kernel/ |
Bug fixed: SIG_IGN, kern_deliver must remove pending signal |
|
| 748 |
7258d 02h |
anton |
/shark/trunk/ |
*** empty log message *** |
|
| 747 |
7258d 04h |
giacomo |
/shark/trunk/kernel/modules/ |
Update |
|