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 5970d 15h 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 6207d 05h 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 6518d 07h 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 20h mauro /shark/trunk/kernel/ Small fix along with the new INTDrive version.  
/shark/trunk/kernel/kern.c
/shark/trunk/kernel/signal.c
1018 6633d 22h 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 22h mauro /shark/trunk/ New handlerset with intdrive  
/shark/trunk/include/kernel/func.h
/shark/trunk/kernel/signal.c
959 7005d 05h pj /shark/trunk/kernel/ moved modules in the modules directory  
/shark/trunk/kernel/makefile
/shark/trunk/kernel/pthread.c
958 7005d 05h pj /shark/trunk/kernel/ wrong printf  
/shark/trunk/kernel/kern.c
957 7005d 05h pj /shark/trunk/kernel/ moved in the modules directory  
/shark/trunk/kernel/modules
939 7018d 02h trimarchi /shark/trunk/kernel/modules/ Inizialization for change level  
/shark/trunk/kernel/modules/posix.c
920 7053d 01h 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 7053d 01h pj /shark/trunk/kernel/ makefree now needs a call to the scheduler after it  
/shark/trunk/kernel/grpcreat.c
918 7053d 01h 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 7053d 01h pj /shark/trunk/kernel/ now panic should work fine  
/shark/trunk/kernel/panic.c
916 7053d 01h pj /shark/trunk/kernel/ changed name to makefree  
/shark/trunk/kernel/event.c
915 7053d 01h pj /shark/trunk/kernel/ now makefree requires a scjheduler after it  
/shark/trunk/kernel/cancel.c
914 7053d 01h pj /shark/trunk/kernel/ bug with counters fixed  
/shark/trunk/kernel/kill.c
913 7053d 01h pj /shark/trunk/kernel/ removed sys_end and co.
added exit _exit
checked some bugs
removed abort srings		  
/shark/trunk/kernel/kern.c
904 7085d 05h mauro /shark/trunk/kernel/modules/ Trace bugfix  
/shark/trunk/kernel/modules/intdrive.c
903 7085d 05h mauro /shark/trunk/kernel/modules/ New implementation with Facchinetti ruleset  
/shark/trunk/kernel/modules/intdrive.c
870 7128d 01h trimarchi /shark/trunk/kernel/modules/ Add change level support for posix module  
/shark/trunk/kernel/modules/posix.c
852 7168d 04h giacomo /shark/trunk/kernel/modules/ Update  
/shark/trunk/kernel/modules/rm.c
851 7168d 04h giacomo /shark/trunk/kernel/modules/ Update  
/shark/trunk/kernel/modules/edf.c
850 7169d 06h giacomo /shark/trunk/kernel/modules/ Update  
/shark/trunk/kernel/modules/edf.c
849 7169d 06h giacomo /shark/trunk/kernel/modules/ Update  
/shark/trunk/kernel/modules/edf.c
837 7174d 02h giacomo /shark/trunk/kernel/modules/ Update timer delete  
/shark/trunk/kernel/modules/edf.c
803 7181d 02h giacomo /shark/trunk/kernel/ Update  
/shark/trunk/kernel/activate.c
777 7192d 06h giacomo /shark/trunk/kernel/ Tracer events update  
/shark/trunk/kernel/kill.c
776 7192d 07h giacomo /shark/trunk/kernel/modules/ Update  
/shark/trunk/kernel/modules/intdrive.c
766 7252d 00h anton /shark/trunk/kernel/modules/ reset rule simplification + overflow avoidance  
/shark/trunk/kernel/modules/cbs.c
764 7253d 22h anton /shark/trunk/kernel/modules/ Bugfixes  
/shark/trunk/kernel/modules/elastic.c
761 7254d 04h anton /shark/trunk/kernel/modules/ RM comments  
/shark/trunk/kernel/modules/rm.c
759 7254d 04h anton /shark/trunk/kernel/modules/ EDF comments  
/shark/trunk/kernel/modules/edf.c
755 7258d 01h giacomo /shark/trunk/kernel/modules/ Update  
/shark/trunk/kernel/modules/intdrive.c
754 7258d 01h giacomo /shark/trunk/kernel/modules/ Update  
/shark/trunk/kernel/modules/intdrive.c
753 7259d 07h giacomo /shark/trunk/kernel/ Bug fixed: SIG_IGN, kern_deliver must remove pending signal  
/shark/trunk/kernel/signal.c
748 7261d 01h anton /shark/trunk/ *** empty log message ***  
/shark/trunk/include/modules/elastic.h
/shark/trunk/kernel/modules/elastic.c
747 7261d 03h giacomo /shark/trunk/kernel/modules/ Update  
/shark/trunk/kernel/modules/elastic.c
746 7261d 04h anton /shark/trunk/kernel/modules/ *** empty log message ***  
/shark/trunk/kernel/modules/elastic.c
745 7261d 04h giacomo /shark/trunk/kernel/modules/ Update  
/shark/trunk/kernel/modules/elastic.c