Subversion Repositories shark

Rev

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

Filtering Options

Rev Age Author Path Log message Diff
1618 6316d 04h 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.		  
772 7556d 12h mauro /shark/trunk/ports/servo/ servo_get_analog - New version  
771 7563d 16h giacomo /shark/trunk/ Update  
750 7605d 16h giacomo /shark/trunk/ Update  
738 7612d 20h giacomo /shark/trunk/ports/servo/ Update  
735 7613d 10h giacomo /shark/trunk/ Update  
734 7613d 14h giacomo /shark/trunk/ports/servo/ Update  
733 7616d 18h giacomo /shark/trunk/ports/servo/ Update  
732 7617d 11h giacomo /shark/trunk/ Update  
730 7617d 11h giacomo /shark/trunk/ Update  
728 7617d 14h giacomo /shark/trunk/ports/servo/ Update  
727 7617d 14h giacomo /shark/trunk/ Update  
726 7617d 16h giacomo /shark/trunk/ports/servo/ Update  
725 7617d 18h giacomo /shark/trunk/ports/servo/ Update  
724 7617d 18h giacomo /shark/trunk/ports/servo/ Update  
721 7618d 13h giacomo /shark/trunk/ Update  
717 7619d 13h giacomo /shark/trunk/ports/servo/ update  
542 7682d 14h giacomo /shark/trunk/ports/servo/ Update  
493 7707d 16h giacomo /shark/trunk/ports/servo/ Update  
465 7717d 13h giacomo /shark/trunk/ports/servo/ Update  
453 7724d 11h giacomo /shark/trunk/ports/servo/ Update  
412 7745d 17h giacomo /shark/trunk/ports/servo/ Update  
398 7755d 15h giacomo /shark/trunk/ Update  
381 7782d 10h giacomo /shark/trunk/ports/servo/ Update  
358 7788d 11h giacomo /shark/trunk/ports/servo/ Mauro update  
345 7802d 12h giacomo /shark/trunk/ports/servo/ Update  
344 7802d 13h giacomo /shark/trunk/ports/servo/ Update  
335 7816d 13h giacomo /shark/trunk/ports/servo/ Update  
325 7824d 14h giacomo /shark/trunk/ports/servo/ Update  
323 7826d 16h giacomo /shark/trunk/ports/servo/ 16 servo support  
316 7829d 15h giacomo /shark/trunk/ports/servo/ Update  
315 7829d 16h giacomo /shark/trunk/ports/servo/ Update  
297 7834d 20h giacomo /shark/trunk/ports/servo/ Update  
295 7837d 14h giacomo /shark/trunk/ports/servo/ Update  
292 7842d 18h giacomo /shark/trunk/ports/servo/ Update  
291 7844d 11h giacomo /shark/trunk/ports/servo/ Update  
290 7848d 16h giacomo /shark/trunk/ports/servo/ Update  
289 7849d 17h giacomo /shark/trunk/ports/servo/ Update  
286 7850d 13h giacomo /shark/trunk/ports/servo/ Update  
285 7850d 18h giacomo /shark/trunk/ Update