Subversion Repositories shark

Rev

Show changed files | Directory listing | RSS feed

Filtering Options

Rev Age Author Path Log message Diff
1685 5965d 03h fabio /shark/branches/xen/ Add support for compiling applications.

Add a somewhat backward compatible build system for applications, and
reconnect some ports used by the supported demos to the compilation.
 
1681 5998d 08h 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 6028d 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 6029d 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.
 
1077 6265d 17h fabio /shark/trunk/ Deactivate pending activations of interrupts. This prevents some
qemu crashes.
 
1045 6576d 19h 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 6688d 08h mauro /shark/trunk/kernel/ Small fix along with the new INTDrive version.  
1018 6692d 10h mauro /shark/trunk/ Initial solution of bug #218  
1005 6989d 10h mauro /shark/trunk/ New handlerset with intdrive  
959 7063d 17h pj /shark/trunk/kernel/ moved modules in the modules directory  
958 7063d 17h pj /shark/trunk/kernel/ wrong printf  
957 7063d 17h pj /shark/trunk/kernel/ moved in the modules directory  
939 7076d 14h trimarchi /shark/trunk/kernel/modules/ Inizialization for change level  
920 7111d 13h pj /shark/trunk/kernel/ removed sys_end, sys_abort, using exit instead  
919 7111d 13h pj /shark/trunk/kernel/ makefree now needs a call to the scheduler after it  
918 7111d 13h pj /shark/trunk/kernel/ removed sys_end, sys_abort, using exceptions instead  
917 7111d 13h pj /shark/trunk/kernel/ now panic should work fine  
916 7111d 13h pj /shark/trunk/kernel/ changed name to makefree  
915 7111d 13h pj /shark/trunk/kernel/ now makefree requires a scjheduler after it  
914 7111d 13h pj /shark/trunk/kernel/ bug with counters fixed  
913 7111d 13h pj /shark/trunk/kernel/ removed sys_end and co.
added exit _exit
checked some bugs
removed abort srings
 
904 7143d 17h mauro /shark/trunk/kernel/modules/ Trace bugfix  
903 7143d 17h mauro /shark/trunk/kernel/modules/ New implementation with Facchinetti ruleset  
870 7186d 13h trimarchi /shark/trunk/kernel/modules/ Add change level support for posix module  
852 7226d 16h giacomo /shark/trunk/kernel/modules/ Update  
851 7226d 16h giacomo /shark/trunk/kernel/modules/ Update  
850 7227d 18h giacomo /shark/trunk/kernel/modules/ Update  
849 7227d 18h giacomo /shark/trunk/kernel/modules/ Update  
837 7232d 14h giacomo /shark/trunk/kernel/modules/ Update timer delete  
803 7239d 14h giacomo /shark/trunk/kernel/ Update  
777 7250d 18h giacomo /shark/trunk/kernel/ Tracer events update  
776 7250d 19h giacomo /shark/trunk/kernel/modules/ Update  
766 7310d 12h anton /shark/trunk/kernel/modules/ reset rule simplification + overflow avoidance  
764 7312d 10h anton /shark/trunk/kernel/modules/ Bugfixes  
761 7312d 16h anton /shark/trunk/kernel/modules/ RM comments  
759 7312d 16h anton /shark/trunk/kernel/modules/ EDF comments  
755 7316d 13h giacomo /shark/trunk/kernel/modules/ Update  
754 7316d 13h giacomo /shark/trunk/kernel/modules/ Update  
753 7317d 19h giacomo /shark/trunk/kernel/ Bug fixed: SIG_IGN, kern_deliver must remove pending signal  
748 7319d 12h anton /shark/trunk/ *** empty log message ***