Subversion Repositories shark

Rev

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

Filtering Options

Rev Age Author Path Log message Diff
1618 6208d 19h 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.		  
1056 6671d 13h tullio /shark/trunk/ Added gcc 4x support. Actually, tested with version 4.1.2.
Into code, updated some constructs that were not compatible with gcc 4x.
Into config files, added compiler flags to suppress some warnings (turned as default since gcc 4x) and turned off optimizations for inline code, which generated unwanted calls to builtin memcpy.		  
1047 6749d 03h mauro /shark/trunk/drivers/ Added functions needed by the USB driver.  
856 7401d 08h giacomo /shark/trunk/drivers/linuxc26/ Update  
847 7408d 04h giacomo /shark/trunk/ Update for USB  
616 7534d 07h giacomo /shark/trunk/drivers/linuxc26/ Update  
615 7537d 03h giacomo /shark/trunk/drivers/linuxc26/ Update  
613 7537d 09h giacomo /shark/trunk/drivers/ Update  
612 7537d 09h giacomo /shark/trunk/drivers/linuxc26/ Update  
611 7537d 09h giacomo /shark/trunk/drivers/linuxc26/ Update  
610 7537d 10h giacomo /shark/trunk/drivers/linuxc26/ update  
609 7537d 10h giacomo /shark/trunk/drivers/linuxc26/ Update  
540 7575d 09h giacomo /shark/trunk/drivers/linuxc26/ Update  
537 7576d 01h giacomo /shark/trunk/drivers/ Update  
516 7584d 07h giacomo /shark/trunk/drivers/ Update  
500 7596d 03h giacomo /shark/trunk/ Update  
475 7607d 23h giacomo /shark/trunk/drivers/ Update  
473 7608d 02h giacomo /shark/trunk/drivers/ Update  
469 7608d 06h giacomo /shark/trunk/drivers/ Update  
468 7608d 09h giacomo /shark/trunk/drivers/ Update  
464 7610d 03h giacomo /shark/trunk/drivers/ Update  
462 7610d 04h giacomo /shark/trunk/drivers/ Update  
455 7614d 08h giacomo /shark/trunk/drivers/linuxc26/ Update  
437 7635d 03h giacomo /shark/trunk/drivers/ Update  
436 7636d 05h giacomo /shark/trunk/drivers/ Update  
432 7636d 07h giacomo /shark/trunk/drivers/linuxc26/ Update