Subversion Repositories shark

Rev

Show changed files | Directory listing | RSS feed

Filtering Options

Rev Age Author Path Log message Diff
1685 5938d 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 5971d 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 6001d 09h 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 6002d 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 6238d 17h fabio /shark/trunk/ Deactivate pending activations of interrupts. This prevents some
qemu crashes.
 
1045 6549d 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 6661d 08h mauro /shark/trunk/kernel/ Small fix along with the new INTDrive version.  
1018 6665d 10h mauro /shark/trunk/ Initial solution of bug #218  
1005 6962d 10h mauro /shark/trunk/ New handlerset with intdrive  
959 7036d 17h pj /shark/trunk/kernel/ moved modules in the modules directory  
958 7036d 17h pj /shark/trunk/kernel/ wrong printf  
957 7036d 17h pj /shark/trunk/kernel/ moved in the modules directory  
939 7049d 14h trimarchi /shark/trunk/kernel/modules/ Inizialization for change level  
920 7084d 13h pj /shark/trunk/kernel/ removed sys_end, sys_abort, using exit instead  
919 7084d 13h pj /shark/trunk/kernel/ makefree now needs a call to the scheduler after it  
918 7084d 13h pj /shark/trunk/kernel/ removed sys_end, sys_abort, using exceptions instead  
917 7084d 13h pj /shark/trunk/kernel/ now panic should work fine  
916 7084d 13h pj /shark/trunk/kernel/ changed name to makefree  
915 7084d 13h pj /shark/trunk/kernel/ now makefree requires a scjheduler after it  
914 7084d 13h pj /shark/trunk/kernel/ bug with counters fixed  
913 7084d 13h pj /shark/trunk/kernel/ removed sys_end and co.
added exit _exit
checked some bugs
removed abort srings
 
904 7116d 17h mauro /shark/trunk/kernel/modules/ Trace bugfix  
903 7116d 17h mauro /shark/trunk/kernel/modules/ New implementation with Facchinetti ruleset  
870 7159d 13h trimarchi /shark/trunk/kernel/modules/ Add change level support for posix module  
852 7199d 16h giacomo /shark/trunk/kernel/modules/ Update  
851 7199d 16h giacomo /shark/trunk/kernel/modules/ Update  
850 7200d 18h giacomo /shark/trunk/kernel/modules/ Update  
849 7200d 19h giacomo /shark/trunk/kernel/modules/ Update  
837 7205d 14h giacomo /shark/trunk/kernel/modules/ Update timer delete  
803 7212d 14h giacomo /shark/trunk/kernel/ Update  
777 7223d 18h giacomo /shark/trunk/kernel/ Tracer events update  
776 7223d 19h giacomo /shark/trunk/kernel/modules/ Update  
766 7283d 12h anton /shark/trunk/kernel/modules/ reset rule simplification + overflow avoidance  
764 7285d 10h anton /shark/trunk/kernel/modules/ Bugfixes  
761 7285d 16h anton /shark/trunk/kernel/modules/ RM comments  
759 7285d 16h anton /shark/trunk/kernel/modules/ EDF comments  
755 7289d 13h giacomo /shark/trunk/kernel/modules/ Update  
754 7289d 13h giacomo /shark/trunk/kernel/modules/ Update  
753 7290d 19h giacomo /shark/trunk/kernel/ Bug fixed: SIG_IGN, kern_deliver must remove pending signal  
748 7292d 13h anton /shark/trunk/ *** empty log message ***