Subversion Repositories shark

Rev

Go to most recent revision | Show changed files | Directory listing | RSS feed

Filtering Options

Rev Age Author Path Log message Diff
1681 5969d 05h fabio /shark/branches/xen/ Redesign the build system.

Switch to a non-recursive easy to configure build system, with a topdir
makefile that collects information on the targets to build from the subdirs
and generates the needed targets and commands. The ports and demos are
still not connected to the build. The new build system is documented
in the main makefile.		  
1618 6000d 00h 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.		  
1063 6351d 13h tullio /shark/trunk/ Added missing GPL license disclaimer.  
844 7199d 11h mauro /shark/trunk/ports/servo/ protocol file added  
772 7240d 07h mauro /shark/trunk/ports/servo/ servo_get_analog - New version  
771 7247d 11h giacomo /shark/trunk/ Update  
750 7289d 11h giacomo /shark/trunk/ Update  
738 7296d 16h giacomo /shark/trunk/ports/servo/ Update  
735 7297d 06h giacomo /shark/trunk/ Update  
734 7297d 10h giacomo /shark/trunk/ports/servo/ Update  
733 7300d 14h giacomo /shark/trunk/ports/servo/ Update  
732 7301d 06h giacomo /shark/trunk/ Update  
730 7301d 07h giacomo /shark/trunk/ Update  
728 7301d 10h giacomo /shark/trunk/ports/servo/ Update  
727 7301d 10h giacomo /shark/trunk/ Update  
726 7301d 11h giacomo /shark/trunk/ports/servo/ Update  
725 7301d 13h giacomo /shark/trunk/ports/servo/ Update  
724 7301d 13h giacomo /shark/trunk/ports/servo/ Update  
721 7302d 08h giacomo /shark/trunk/ Update  
717 7303d 08h giacomo /shark/trunk/ports/servo/ update  
542 7366d 09h giacomo /shark/trunk/ports/servo/ Update  
493 7391d 11h giacomo /shark/trunk/ports/servo/ Update  
465 7401d 08h giacomo /shark/trunk/ports/servo/ Update  
453 7408d 07h giacomo /shark/trunk/ports/servo/ Update  
412 7429d 12h giacomo /shark/trunk/ports/servo/ Update  
398 7439d 11h giacomo /shark/trunk/ Update  
381 7466d 05h giacomo /shark/trunk/ports/servo/ Update  
358 7472d 06h giacomo /shark/trunk/ports/servo/ Mauro update  
345 7486d 08h giacomo /shark/trunk/ports/servo/ Update  
344 7486d 08h giacomo /shark/trunk/ports/servo/ Update  
335 7500d 09h giacomo /shark/trunk/ports/servo/ Update  
325 7508d 09h giacomo /shark/trunk/ports/servo/ Update  
323 7510d 11h giacomo /shark/trunk/ports/servo/ 16 servo support  
316 7513d 10h giacomo /shark/trunk/ports/servo/ Update  
315 7513d 11h giacomo /shark/trunk/ports/servo/ Update  
297 7518d 15h giacomo /shark/trunk/ports/servo/ Update  
295 7521d 10h giacomo /shark/trunk/ports/servo/ Update  
292 7526d 14h giacomo /shark/trunk/ports/servo/ Update  
291 7528d 07h giacomo /shark/trunk/ports/servo/ Update  
290 7532d 12h giacomo /shark/trunk/ports/servo/ Update