Subversion Repositories shark

Rev

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

Filtering Options

Rev Age Author Path Log message Diff
1685 6089d 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 6122d 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 6153d 13h 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 6505d 03h tullio /shark/trunk/ Added missing GPL license disclaimer.  
844 7353d 01h mauro /shark/trunk/ports/servo/ protocol file added  
772 7393d 21h mauro /shark/trunk/ports/servo/ servo_get_analog - New version  
771 7401d 01h giacomo /shark/trunk/ Update  
750 7443d 01h giacomo /shark/trunk/ Update  
738 7450d 05h giacomo /shark/trunk/ports/servo/ Update  
735 7450d 20h giacomo /shark/trunk/ Update  
734 7450d 23h giacomo /shark/trunk/ports/servo/ Update  
733 7454d 04h giacomo /shark/trunk/ports/servo/ Update  
732 7454d 20h giacomo /shark/trunk/ Update  
730 7454d 20h giacomo /shark/trunk/ Update  
728 7454d 23h giacomo /shark/trunk/ports/servo/ Update  
727 7455d 00h giacomo /shark/trunk/ Update  
726 7455d 01h giacomo /shark/trunk/ports/servo/ Update  
725 7455d 03h giacomo /shark/trunk/ports/servo/ Update  
724 7455d 03h giacomo /shark/trunk/ports/servo/ Update  
721 7455d 22h giacomo /shark/trunk/ Update  
717 7456d 22h giacomo /shark/trunk/ports/servo/ update  
542 7519d 23h giacomo /shark/trunk/ports/servo/ Update  
493 7545d 01h giacomo /shark/trunk/ports/servo/ Update  
465 7554d 22h giacomo /shark/trunk/ports/servo/ Update  
453 7561d 20h giacomo /shark/trunk/ports/servo/ Update  
412 7583d 02h giacomo /shark/trunk/ports/servo/ Update  
398 7593d 01h giacomo /shark/trunk/ Update  
381 7619d 19h giacomo /shark/trunk/ports/servo/ Update  
358 7625d 20h giacomo /shark/trunk/ports/servo/ Mauro update  
345 7639d 22h giacomo /shark/trunk/ports/servo/ Update  
344 7639d 22h giacomo /shark/trunk/ports/servo/ Update  
335 7653d 23h giacomo /shark/trunk/ports/servo/ Update  
325 7661d 23h giacomo /shark/trunk/ports/servo/ Update  
323 7664d 01h giacomo /shark/trunk/ports/servo/ 16 servo support  
316 7667d 00h giacomo /shark/trunk/ports/servo/ Update  
315 7667d 01h giacomo /shark/trunk/ports/servo/ Update  
297 7672d 05h giacomo /shark/trunk/ports/servo/ Update  
295 7675d 00h giacomo /shark/trunk/ports/servo/ Update  
292 7680d 04h giacomo /shark/trunk/ports/servo/ Update  
291 7681d 21h giacomo /shark/trunk/ports/servo/ Update