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
1685 5958d 19h 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 5992d 00h 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 6022d 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.		  
1063 6374d 09h tullio /shark/trunk/ Added missing GPL license disclaimer.  
844 7222d 06h mauro /shark/trunk/ports/servo/ protocol file added  
772 7263d 03h mauro /shark/trunk/ports/servo/ servo_get_analog - New version  
771 7270d 07h giacomo /shark/trunk/ Update  
750 7312d 07h giacomo /shark/trunk/ Update  
738 7319d 11h giacomo /shark/trunk/ports/servo/ Update  
735 7320d 01h giacomo /shark/trunk/ Update  
734 7320d 05h giacomo /shark/trunk/ports/servo/ Update  
733 7323d 09h giacomo /shark/trunk/ports/servo/ Update  
732 7324d 01h giacomo /shark/trunk/ Update  
730 7324d 02h giacomo /shark/trunk/ Update  
728 7324d 05h giacomo /shark/trunk/ports/servo/ Update  
727 7324d 05h giacomo /shark/trunk/ Update  
726 7324d 06h giacomo /shark/trunk/ports/servo/ Update  
725 7324d 08h giacomo /shark/trunk/ports/servo/ Update  
724 7324d 09h giacomo /shark/trunk/ports/servo/ Update  
721 7325d 03h giacomo /shark/trunk/ Update  
717 7326d 04h giacomo /shark/trunk/ports/servo/ update  
542 7389d 04h giacomo /shark/trunk/ports/servo/ Update  
493 7414d 07h giacomo /shark/trunk/ports/servo/ Update  
465 7424d 03h giacomo /shark/trunk/ports/servo/ Update  
453 7431d 02h giacomo /shark/trunk/ports/servo/ Update  
412 7452d 08h giacomo /shark/trunk/ports/servo/ Update  
398 7462d 06h giacomo /shark/trunk/ Update  
381 7489d 00h giacomo /shark/trunk/ports/servo/ Update  
358 7495d 02h giacomo /shark/trunk/ports/servo/ Mauro update  
345 7509d 03h giacomo /shark/trunk/ports/servo/ Update  
344 7509d 03h giacomo /shark/trunk/ports/servo/ Update  
335 7523d 04h giacomo /shark/trunk/ports/servo/ Update  
325 7531d 05h giacomo /shark/trunk/ports/servo/ Update  
323 7533d 07h giacomo /shark/trunk/ports/servo/ 16 servo support  
316 7536d 06h giacomo /shark/trunk/ports/servo/ Update  
315 7536d 07h giacomo /shark/trunk/ports/servo/ Update  
297 7541d 11h giacomo /shark/trunk/ports/servo/ Update  
295 7544d 05h giacomo /shark/trunk/ports/servo/ Update  
292 7549d 09h giacomo /shark/trunk/ports/servo/ Update  
291 7551d 02h giacomo /shark/trunk/ports/servo/ Update