| Rev |
Age |
Author |
Path |
Log message |
Diff |
| 1681 |
5952d 11h |
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 |
5982d 11h |
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 |
5983d 06h |
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 |
6219d 19h |
fabio |
/shark/trunk/ |
Deactivate pending activations of interrupts. This prevents some
qemu crashes. |
|
| 1045 |
6530d 21h |
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 |
6642d 11h |
mauro |
/shark/trunk/kernel/ |
Small fix along with the new INTDrive version. |
|
| 1018 |
6646d 13h |
mauro |
/shark/trunk/ |
Initial solution of bug #218 |
|
| 1005 |
6943d 13h |
mauro |
/shark/trunk/ |
New handlerset with intdrive |
|
| 959 |
7017d 19h |
pj |
/shark/trunk/kernel/ |
moved modules in the modules directory |
|
| 958 |
7017d 19h |
pj |
/shark/trunk/kernel/ |
wrong printf |
|
| 957 |
7017d 19h |
pj |
/shark/trunk/kernel/ |
moved in the modules directory |
|
| 939 |
7030d 17h |
trimarchi |
/shark/trunk/kernel/modules/ |
Inizialization for change level |
|
| 920 |
7065d 15h |
pj |
/shark/trunk/kernel/ |
removed sys_end, sys_abort, using exit instead |
|
| 919 |
7065d 15h |
pj |
/shark/trunk/kernel/ |
makefree now needs a call to the scheduler after it |
|
| 918 |
7065d 15h |
pj |
/shark/trunk/kernel/ |
removed sys_end, sys_abort, using exceptions instead |
|
| 917 |
7065d 15h |
pj |
/shark/trunk/kernel/ |
now panic should work fine |
|
| 916 |
7065d 15h |
pj |
/shark/trunk/kernel/ |
changed name to makefree |
|
| 915 |
7065d 15h |
pj |
/shark/trunk/kernel/ |
now makefree requires a scjheduler after it |
|
| 914 |
7065d 15h |
pj |
/shark/trunk/kernel/ |
bug with counters fixed |
|
| 913 |
7065d 15h |
pj |
/shark/trunk/kernel/ |
removed sys_end and co.
added exit _exit
checked some bugs
removed abort srings |
|
| 904 |
7097d 20h |
mauro |
/shark/trunk/kernel/modules/ |
Trace bugfix |
|
| 903 |
7097d 20h |
mauro |
/shark/trunk/kernel/modules/ |
New implementation with Facchinetti ruleset |
|
| 870 |
7140d 15h |
trimarchi |
/shark/trunk/kernel/modules/ |
Add change level support for posix module |
|
| 852 |
7180d 18h |
giacomo |
/shark/trunk/kernel/modules/ |
Update |
|
| 851 |
7180d 18h |
giacomo |
/shark/trunk/kernel/modules/ |
Update |
|
| 850 |
7181d 20h |
giacomo |
/shark/trunk/kernel/modules/ |
Update |
|
| 849 |
7181d 21h |
giacomo |
/shark/trunk/kernel/modules/ |
Update |
|
| 837 |
7186d 17h |
giacomo |
/shark/trunk/kernel/modules/ |
Update timer delete |
|
| 803 |
7193d 16h |
giacomo |
/shark/trunk/kernel/ |
Update |
|
| 777 |
7204d 20h |
giacomo |
/shark/trunk/kernel/ |
Tracer events update |
|
| 776 |
7204d 21h |
giacomo |
/shark/trunk/kernel/modules/ |
Update |
|
| 766 |
7264d 15h |
anton |
/shark/trunk/kernel/modules/ |
reset rule simplification + overflow avoidance |
|
| 764 |
7266d 13h |
anton |
/shark/trunk/kernel/modules/ |
Bugfixes |
|
| 761 |
7266d 18h |
anton |
/shark/trunk/kernel/modules/ |
RM comments |
|
| 759 |
7266d 19h |
anton |
/shark/trunk/kernel/modules/ |
EDF comments |
|
| 755 |
7270d 15h |
giacomo |
/shark/trunk/kernel/modules/ |
Update |
|
| 754 |
7270d 15h |
giacomo |
/shark/trunk/kernel/modules/ |
Update |
|
| 753 |
7271d 22h |
giacomo |
/shark/trunk/kernel/ |
Bug fixed: SIG_IGN, kern_deliver must remove pending signal |
|
| 748 |
7273d 15h |
anton |
/shark/trunk/ |
*** empty log message *** |
|
| 747 |
7273d 17h |
giacomo |
/shark/trunk/kernel/modules/ |
Update |
|