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 5969d 23h 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 6206d 12h 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 6517d 14h 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 6629d 04h mauro /shark/trunk/kernel/ Small fix along with the new INTDrive version.  
/shark/trunk/kernel/kern.c
/shark/trunk/kernel/signal.c
1018 6633d 06h 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 6930d 06h mauro /shark/trunk/ New handlerset with intdrive  
/shark/trunk/include/kernel/func.h
/shark/trunk/kernel/signal.c
959 7004d 12h pj /shark/trunk/kernel/ moved modules in the modules directory  
/shark/trunk/kernel/makefile
/shark/trunk/kernel/pthread.c
958 7004d 12h pj /shark/trunk/kernel/ wrong printf  
/shark/trunk/kernel/kern.c
957 7004d 12h pj /shark/trunk/kernel/ moved in the modules directory  
/shark/trunk/kernel/modules
939 7017d 09h trimarchi /shark/trunk/kernel/modules/ Inizialization for change level  
/shark/trunk/kernel/modules/posix.c
920 7052d 08h 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 7052d 08h pj /shark/trunk/kernel/ makefree now needs a call to the scheduler after it  
/shark/trunk/kernel/grpcreat.c
918 7052d 08h 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 7052d 08h pj /shark/trunk/kernel/ now panic should work fine  
/shark/trunk/kernel/panic.c
916 7052d 08h pj /shark/trunk/kernel/ changed name to makefree  
/shark/trunk/kernel/event.c
915 7052d 08h pj /shark/trunk/kernel/ now makefree requires a scjheduler after it  
/shark/trunk/kernel/cancel.c
914 7052d 08h pj /shark/trunk/kernel/ bug with counters fixed  
/shark/trunk/kernel/kill.c
913 7052d 08h pj /shark/trunk/kernel/ removed sys_end and co.
added exit _exit
checked some bugs
removed abort srings		  
/shark/trunk/kernel/kern.c
904 7084d 13h mauro /shark/trunk/kernel/modules/ Trace bugfix  
/shark/trunk/kernel/modules/intdrive.c
903 7084d 13h mauro /shark/trunk/kernel/modules/ New implementation with Facchinetti ruleset  
/shark/trunk/kernel/modules/intdrive.c
870 7127d 08h trimarchi /shark/trunk/kernel/modules/ Add change level support for posix module  
/shark/trunk/kernel/modules/posix.c
852 7167d 11h giacomo /shark/trunk/kernel/modules/ Update  
/shark/trunk/kernel/modules/rm.c
851 7167d 11h giacomo /shark/trunk/kernel/modules/ Update  
/shark/trunk/kernel/modules/edf.c
850 7168d 13h giacomo /shark/trunk/kernel/modules/ Update  
/shark/trunk/kernel/modules/edf.c
849 7168d 14h giacomo /shark/trunk/kernel/modules/ Update  
/shark/trunk/kernel/modules/edf.c
837 7173d 10h giacomo /shark/trunk/kernel/modules/ Update timer delete  
/shark/trunk/kernel/modules/edf.c
803 7180d 09h giacomo /shark/trunk/kernel/ Update  
/shark/trunk/kernel/activate.c
777 7191d 13h giacomo /shark/trunk/kernel/ Tracer events update  
/shark/trunk/kernel/kill.c
776 7191d 14h giacomo /shark/trunk/kernel/modules/ Update  
/shark/trunk/kernel/modules/intdrive.c
766 7251d 08h anton /shark/trunk/kernel/modules/ reset rule simplification + overflow avoidance  
/shark/trunk/kernel/modules/cbs.c
764 7253d 06h anton /shark/trunk/kernel/modules/ Bugfixes  
/shark/trunk/kernel/modules/elastic.c
761 7253d 11h anton /shark/trunk/kernel/modules/ RM comments  
/shark/trunk/kernel/modules/rm.c
759 7253d 11h anton /shark/trunk/kernel/modules/ EDF comments  
/shark/trunk/kernel/modules/edf.c
755 7257d 08h giacomo /shark/trunk/kernel/modules/ Update  
/shark/trunk/kernel/modules/intdrive.c
754 7257d 08h giacomo /shark/trunk/kernel/modules/ Update  
/shark/trunk/kernel/modules/intdrive.c
753 7258d 15h giacomo /shark/trunk/kernel/ Bug fixed: SIG_IGN, kern_deliver must remove pending signal  
/shark/trunk/kernel/signal.c
748 7260d 08h anton /shark/trunk/ *** empty log message ***  
/shark/trunk/include/modules/elastic.h
/shark/trunk/kernel/modules/elastic.c
747 7260d 10h giacomo /shark/trunk/kernel/modules/ Update  
/shark/trunk/kernel/modules/elastic.c
746 7260d 12h anton /shark/trunk/kernel/modules/ *** empty log message ***  
/shark/trunk/kernel/modules/elastic.c
745 7260d 12h giacomo /shark/trunk/kernel/modules/ Update  
/shark/trunk/kernel/modules/elastic.c