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.
 
772 7449d 03h mauro /shark/trunk/ports/servo/ servo_get_analog - New version  
771 7456d 07h giacomo /shark/trunk/ Update  
750 7498d 07h giacomo /shark/trunk/ Update  
738 7505d 11h giacomo /shark/trunk/ports/servo/ Update  
735 7506d 01h giacomo /shark/trunk/ Update  
734 7506d 05h giacomo /shark/trunk/ports/servo/ Update  
733 7509d 09h giacomo /shark/trunk/ports/servo/ Update  
732 7510d 02h giacomo /shark/trunk/ Update  
730 7510d 02h giacomo /shark/trunk/ Update  
728 7510d 05h giacomo /shark/trunk/ports/servo/ Update  
727 7510d 05h giacomo /shark/trunk/ Update  
726 7510d 07h giacomo /shark/trunk/ports/servo/ Update  
725 7510d 09h giacomo /shark/trunk/ports/servo/ Update  
724 7510d 09h giacomo /shark/trunk/ports/servo/ Update  
721 7511d 04h giacomo /shark/trunk/ Update  
717 7512d 04h giacomo /shark/trunk/ports/servo/ update  
542 7575d 05h giacomo /shark/trunk/ports/servo/ Update  
493 7600d 07h giacomo /shark/trunk/ports/servo/ Update  
465 7610d 04h giacomo /shark/trunk/ports/servo/ Update  
453 7617d 02h giacomo /shark/trunk/ports/servo/ Update  
412 7638d 08h giacomo /shark/trunk/ports/servo/ Update  
398 7648d 06h giacomo /shark/trunk/ Update  
381 7675d 01h giacomo /shark/trunk/ports/servo/ Update  
358 7681d 02h giacomo /shark/trunk/ports/servo/ Mauro update  
345 7695d 03h giacomo /shark/trunk/ports/servo/ Update  
344 7695d 04h giacomo /shark/trunk/ports/servo/ Update  
335 7709d 04h giacomo /shark/trunk/ports/servo/ Update  
325 7717d 05h giacomo /shark/trunk/ports/servo/ Update  
323 7719d 07h giacomo /shark/trunk/ports/servo/ 16 servo support  
316 7722d 06h giacomo /shark/trunk/ports/servo/ Update  
315 7722d 07h giacomo /shark/trunk/ports/servo/ Update  
297 7727d 11h giacomo /shark/trunk/ports/servo/ Update  
295 7730d 05h giacomo /shark/trunk/ports/servo/ Update  
292 7735d 09h giacomo /shark/trunk/ports/servo/ Update  
291 7737d 02h giacomo /shark/trunk/ports/servo/ Update  
290 7741d 07h giacomo /shark/trunk/ports/servo/ Update  
289 7742d 08h giacomo /shark/trunk/ports/servo/ Update  
286 7743d 04h giacomo /shark/trunk/ports/servo/ Update  
285 7743d 09h giacomo /shark/trunk/ Update