Subversion Repositories shark

Rev

Show changed files | Directory listing | RSS feed

Filtering Options

Rev Age Author Path Log message Diff
1685 5943d 13h fabio /shark/branches/xen/ Add support for compiling applications.

Add a somewhat backward compatible build system for applications, and
reconnect some ports used by the supported demos to the compilation.		  
1681 5976d 19h 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 6007d 14h 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 6359d 03h tullio /shark/trunk/ Added missing GPL license disclaimer.  
844 7207d 01h mauro /shark/trunk/ports/servo/ protocol file added  
772 7247d 21h mauro /shark/trunk/ports/servo/ servo_get_analog - New version  
771 7255d 01h giacomo /shark/trunk/ Update  
750 7297d 01h giacomo /shark/trunk/ Update  
738 7304d 06h giacomo /shark/trunk/ports/servo/ Update  
735 7304d 20h giacomo /shark/trunk/ Update  
734 7304d 23h giacomo /shark/trunk/ports/servo/ Update  
733 7308d 04h giacomo /shark/trunk/ports/servo/ Update  
732 7308d 20h giacomo /shark/trunk/ Update  
730 7308d 20h giacomo /shark/trunk/ Update  
728 7308d 23h giacomo /shark/trunk/ports/servo/ Update  
727 7309d 00h giacomo /shark/trunk/ Update  
726 7309d 01h giacomo /shark/trunk/ports/servo/ Update  
725 7309d 03h giacomo /shark/trunk/ports/servo/ Update  
724 7309d 03h giacomo /shark/trunk/ports/servo/ Update  
721 7309d 22h giacomo /shark/trunk/ Update  
717 7310d 22h giacomo /shark/trunk/ports/servo/ update  
542 7373d 23h giacomo /shark/trunk/ports/servo/ Update  
493 7399d 01h giacomo /shark/trunk/ports/servo/ Update  
465 7408d 22h giacomo /shark/trunk/ports/servo/ Update  
453 7415d 20h giacomo /shark/trunk/ports/servo/ Update  
412 7437d 02h giacomo /shark/trunk/ports/servo/ Update  
398 7447d 01h giacomo /shark/trunk/ Update  
381 7473d 19h giacomo /shark/trunk/ports/servo/ Update  
358 7479d 20h giacomo /shark/trunk/ports/servo/ Mauro update  
345 7493d 22h giacomo /shark/trunk/ports/servo/ Update  
344 7493d 22h giacomo /shark/trunk/ports/servo/ Update  
335 7507d 23h giacomo /shark/trunk/ports/servo/ Update  
325 7515d 23h giacomo /shark/trunk/ports/servo/ Update  
323 7518d 01h giacomo /shark/trunk/ports/servo/ 16 servo support  
316 7521d 00h giacomo /shark/trunk/ports/servo/ Update  
315 7521d 01h giacomo /shark/trunk/ports/servo/ Update  
297 7526d 05h giacomo /shark/trunk/ports/servo/ Update  
295 7529d 00h giacomo /shark/trunk/ports/servo/ Update  
292 7534d 04h giacomo /shark/trunk/ports/servo/ Update  
291 7535d 21h giacomo /shark/trunk/ports/servo/ Update