Subversion Repositories shark

Rev

Go to most recent revision | Hide changed files | Directory listing | RSS feed

Filtering Options

Rev Age Author Path Log message Diff Changes
1618 5976d 01h 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.		  
/shark/branches/xen
1077 6212d 14h fabio /shark/trunk/ Deactivate pending activations of interrupts. This prevents some
qemu crashes.		  
/shark/trunk/kernel/signal.c
/shark/trunk/modules/intdrive/inttask.c
1045 6523d 16h 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.  
/shark/trunk/kernel/activate.c
1020 6635d 06h mauro /shark/trunk/kernel/ Small fix along with the new INTDrive version.  
/shark/trunk/kernel/kern.c
/shark/trunk/kernel/signal.c
1018 6639d 08h mauro /shark/trunk/ Initial solution of bug #218  
/shark/trunk/drivers/linuxc26/shark_glue.c
/shark/trunk/kernel/signal.c
/shark/trunk/modules/intdrive/intdrive.c
/shark/trunk/modules/intdrive/intdrive/inttask.h
/shark/trunk/modules/intdrive/inttask.c
1005 6936d 08h mauro /shark/trunk/ New handlerset with intdrive  
/shark/trunk/include/kernel/func.h
/shark/trunk/kernel/signal.c
959 7010d 14h pj /shark/trunk/kernel/ moved modules in the modules directory  
/shark/trunk/kernel/makefile
/shark/trunk/kernel/pthread.c
958 7010d 14h pj /shark/trunk/kernel/ wrong printf  
/shark/trunk/kernel/kern.c
957 7010d 14h pj /shark/trunk/kernel/ moved in the modules directory  
/shark/trunk/kernel/modules
939 7023d 12h trimarchi /shark/trunk/kernel/modules/ Inizialization for change level  
/shark/trunk/kernel/modules/posix.c
920 7058d 10h pj /shark/trunk/kernel/ removed sys_end, sys_abort, using exit instead  
/shark/trunk/kernel/exchand.c
/shark/trunk/kernel/init.c
/shark/trunk/kernel/signal.c
919 7058d 10h pj /shark/trunk/kernel/ makefree now needs a call to the scheduler after it  
/shark/trunk/kernel/grpcreat.c
918 7058d 10h pj /shark/trunk/kernel/ removed sys_end, sys_abort, using exceptions instead  
/shark/trunk/kernel/jet.c
/shark/trunk/kernel/modules/cbs.c
/shark/trunk/kernel/modules/ss.c
917 7058d 10h pj /shark/trunk/kernel/ now panic should work fine  
/shark/trunk/kernel/panic.c
916 7058d 10h pj /shark/trunk/kernel/ changed name to makefree  
/shark/trunk/kernel/event.c
915 7058d 10h pj /shark/trunk/kernel/ now makefree requires a scjheduler after it  
/shark/trunk/kernel/cancel.c
914 7058d 10h pj /shark/trunk/kernel/ bug with counters fixed  
/shark/trunk/kernel/kill.c
913 7058d 10h pj /shark/trunk/kernel/ removed sys_end and co.
added exit _exit
checked some bugs
removed abort srings		  
/shark/trunk/kernel/kern.c
904 7090d 15h mauro /shark/trunk/kernel/modules/ Trace bugfix  
/shark/trunk/kernel/modules/intdrive.c
903 7090d 15h mauro /shark/trunk/kernel/modules/ New implementation with Facchinetti ruleset  
/shark/trunk/kernel/modules/intdrive.c
870 7133d 10h trimarchi /shark/trunk/kernel/modules/ Add change level support for posix module  
/shark/trunk/kernel/modules/posix.c
852 7173d 13h giacomo /shark/trunk/kernel/modules/ Update  
/shark/trunk/kernel/modules/rm.c
851 7173d 13h giacomo /shark/trunk/kernel/modules/ Update  
/shark/trunk/kernel/modules/edf.c
850 7174d 15h giacomo /shark/trunk/kernel/modules/ Update  
/shark/trunk/kernel/modules/edf.c
849 7174d 16h giacomo /shark/trunk/kernel/modules/ Update  
/shark/trunk/kernel/modules/edf.c
837 7179d 12h giacomo /shark/trunk/kernel/modules/ Update timer delete  
/shark/trunk/kernel/modules/edf.c
803 7186d 11h giacomo /shark/trunk/kernel/ Update  
/shark/trunk/kernel/activate.c
777 7197d 15h giacomo /shark/trunk/kernel/ Tracer events update  
/shark/trunk/kernel/kill.c
776 7197d 16h giacomo /shark/trunk/kernel/modules/ Update  
/shark/trunk/kernel/modules/intdrive.c
766 7257d 10h anton /shark/trunk/kernel/modules/ reset rule simplification + overflow avoidance  
/shark/trunk/kernel/modules/cbs.c
764 7259d 08h anton /shark/trunk/kernel/modules/ Bugfixes  
/shark/trunk/kernel/modules/elastic.c
761 7259d 13h anton /shark/trunk/kernel/modules/ RM comments  
/shark/trunk/kernel/modules/rm.c
759 7259d 14h anton /shark/trunk/kernel/modules/ EDF comments  
/shark/trunk/kernel/modules/edf.c
755 7263d 10h giacomo /shark/trunk/kernel/modules/ Update  
/shark/trunk/kernel/modules/intdrive.c
754 7263d 11h giacomo /shark/trunk/kernel/modules/ Update  
/shark/trunk/kernel/modules/intdrive.c
753 7264d 17h giacomo /shark/trunk/kernel/ Bug fixed: SIG_IGN, kern_deliver must remove pending signal  
/shark/trunk/kernel/signal.c
748 7266d 10h anton /shark/trunk/ *** empty log message ***  
/shark/trunk/include/modules/elastic.h
/shark/trunk/kernel/modules/elastic.c
747 7266d 12h giacomo /shark/trunk/kernel/modules/ Update  
/shark/trunk/kernel/modules/elastic.c
746 7266d 14h anton /shark/trunk/kernel/modules/ *** empty log message ***  
/shark/trunk/kernel/modules/elastic.c
745 7266d 14h giacomo /shark/trunk/kernel/modules/ Update  
/shark/trunk/kernel/modules/elastic.c