Subversion Repositories shark

Rev

Show changed files | Details | Compare with Previous | Blame | RSS feed

Filtering Options

Rev Age Author Path Log message Diff
1685 5935d 05h 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 5968d 10h 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 5998d 10h 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 5999d 05h 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 6235d 19h fabio /shark/trunk/ Deactivate pending activations of interrupts. This prevents some
qemu crashes.
 
1045 6546d 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 6658d 10h mauro /shark/trunk/kernel/ Small fix along with the new INTDrive version.  
1018 6662d 12h mauro /shark/trunk/ Initial solution of bug #218  
1005 6959d 12h mauro /shark/trunk/ New handlerset with intdrive  
959 7033d 19h pj /shark/trunk/kernel/ moved modules in the modules directory  
958 7033d 19h pj /shark/trunk/kernel/ wrong printf  
957 7033d 19h pj /shark/trunk/kernel/ moved in the modules directory  
939 7046d 16h trimarchi /shark/trunk/kernel/modules/ Inizialization for change level  
920 7081d 15h pj /shark/trunk/kernel/ removed sys_end, sys_abort, using exit instead  
919 7081d 15h pj /shark/trunk/kernel/ makefree now needs a call to the scheduler after it  
918 7081d 15h pj /shark/trunk/kernel/ removed sys_end, sys_abort, using exceptions instead  
917 7081d 15h pj /shark/trunk/kernel/ now panic should work fine  
916 7081d 15h pj /shark/trunk/kernel/ changed name to makefree  
915 7081d 15h pj /shark/trunk/kernel/ now makefree requires a scjheduler after it  
914 7081d 15h pj /shark/trunk/kernel/ bug with counters fixed  
913 7081d 15h pj /shark/trunk/kernel/ removed sys_end and co.
added exit _exit
checked some bugs
removed abort srings
 
904 7113d 19h mauro /shark/trunk/kernel/modules/ Trace bugfix  
903 7113d 19h mauro /shark/trunk/kernel/modules/ New implementation with Facchinetti ruleset  
870 7156d 15h trimarchi /shark/trunk/kernel/modules/ Add change level support for posix module  
852 7196d 18h giacomo /shark/trunk/kernel/modules/ Update  
851 7196d 18h giacomo /shark/trunk/kernel/modules/ Update  
850 7197d 20h giacomo /shark/trunk/kernel/modules/ Update  
849 7197d 20h giacomo /shark/trunk/kernel/modules/ Update  
837 7202d 16h giacomo /shark/trunk/kernel/modules/ Update timer delete  
803 7209d 16h giacomo /shark/trunk/kernel/ Update  
777 7220d 19h giacomo /shark/trunk/kernel/ Tracer events update  
776 7220d 20h giacomo /shark/trunk/kernel/modules/ Update  
766 7280d 14h anton /shark/trunk/kernel/modules/ reset rule simplification + overflow avoidance  
764 7282d 12h anton /shark/trunk/kernel/modules/ Bugfixes  
761 7282d 18h anton /shark/trunk/kernel/modules/ RM comments  
759 7282d 18h anton /shark/trunk/kernel/modules/ EDF comments  
755 7286d 15h giacomo /shark/trunk/kernel/modules/ Update  
754 7286d 15h giacomo /shark/trunk/kernel/modules/ Update  
753 7287d 21h giacomo /shark/trunk/kernel/ Bug fixed: SIG_IGN, kern_deliver must remove pending signal  
748 7289d 14h anton /shark/trunk/ *** empty log message ***